summaryrefslogtreecommitdiff
path: root/.github/workflows/ci.yml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use the self-hosted runner for the lean CI checksNadrieril2024-06-241-2/+1
|
* Revert "Switch to GitHub CI runners" againNadrieril2024-06-181-12/+4
| | | | This was botched by a confusing merge in https://github.com/AeneasVerif/aeneas/pull/246
* Switch to GitHub CI runnersNadrieril2024-06-171-4/+12
|
* Fix the CI pin checkNadrieril2024-06-041-0/+2
|
* 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
| | | | It is kept up-to-date in CI
* Prepare CI for merge queueNadrieril2024-05-031-0/+6
|
* 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