summaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* chore(ci): move Lean CI under NixRyan Lahfa2024-04-241-14/+5
| | | | | | | | | | | | | | | As it often happens, the Lean CI under Ubuntu is broken: https://github.com/AeneasVerif/aeneas/actions/runs/8814059410/job/24193132680?pr=135 and blocking PRs. Lean doesn't work nicely under the Nix sandbox, but in a CI context, we can impurely run scripts and use Nix to get our dependencies, e.g. curl or elan in this case. It is still more reliable than letting Ubuntu or GitHub Actions figure out their signing for their APT repositories apparently. Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
* Merge pull request #154 from AeneasVerif/ci-fmtSon HO2024-04-231-0/+1
|\ | | | | ci: check code formatting and forbid warnings
| * 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