summaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml (follow)
Commit message (Expand)AuthorAgeFilesLines
* ci: Check correctness of the charon pinned commitNadrieril2024-05-291-0/+6
* ci: cancel jobs after force-push to a branchNadrieril2024-05-141-0/+1
* `./charon-pin` stores the current charon commitNadrieril2024-05-141-0/+1
* Prepare CI for merge queueNadrieril2024-05-031-0/+6
* chore(ci): move Lean CI under NixRyan Lahfa2024-04-241-14/+5
* Merge pull request #154 from AeneasVerif/ci-fmtSon HO2024-04-231-0/+1
|\
| * ci: check code formattingNadrieril2024-04-221-0/+1
* | ci: avoid running duplicate jobsNadrieril2024-04-221-0/+22
|/
* Update the workersSon Ho2024-03-081-1/+0
* Update the flake.nix and the ci.ymlSon Ho2023-12-231-0/+1
* Update the ci.ymlSon Ho2023-11-101-4/+4
* Update the ci.ymlSon Ho2023-11-101-2/+1
* Update the ci.ymlSon Ho2023-11-101-0/+1
* Update the ci.ymlSon Ho2023-11-101-6/+2
* Update the ci.ymlSon Ho2023-11-101-1/+4
* Update the ci.ymlSon Ho2023-11-101-1/+1
* Update the ci.ymlSon Ho2023-11-101-4/+5
* Update the ci.ymlSon Ho2023-11-101-4/+6
* Update the ci.ymlSon Ho2023-11-101-1/+3
* Update the ci.ymlSon Ho2023-11-101-2/+2
* Update the ci.ymlSon Ho2023-11-101-1/+1
* Update the ci.ymlSon Ho2023-11-101-3/+5
* Update the ci.ymlSon Ho2023-11-101-1/+1
* Update the ci.ymlSon Ho2023-11-101-3/+3
* Update the ci.ymlSon Ho2023-11-101-1/+5
* Make a minor fixSon Ho2023-11-101-1/+1
* Make a minor updateSon Ho2023-11-101-2/+2
* Update the ci.ymlSon Ho2023-11-101-0/+5
* ci: hydra -> github runnerPaul-Nicolas Madelaine2023-10-231-0/+19