| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Revert "Switch to GitHub CI runners" again | Nadrieril | 2024-06-18 | 1 | -12/+4 |
| | | | | | This was botched by a confusing merge in https://github.com/AeneasVerif/aeneas/pull/246 | ||||
| * | Switch to GitHub CI runners | Nadrieril | 2024-06-17 | 1 | -4/+12 |
| | | |||||
| * | Fix the CI pin check | Nadrieril | 2024-06-04 | 1 | -0/+2 |
| | | |||||
| * | ci: Check correctness of the charon pinned commit | Nadrieril | 2024-05-29 | 1 | -0/+6 |
| | | |||||
| * | ci: cancel jobs after force-push to a branch | Nadrieril | 2024-05-14 | 1 | -0/+1 |
| | | |||||
| * | `./charon-pin` stores the current charon commit | Nadrieril | 2024-05-14 | 1 | -0/+1 |
| | | | | | It is kept up-to-date in CI | ||||
| * | Prepare CI for merge queue | Nadrieril | 2024-05-03 | 1 | -0/+6 |
| | | |||||
| * | chore(ci): move Lean CI under Nix | Ryan Lahfa | 2024-04-24 | 1 | -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-fmt | Son HO | 2024-04-23 | 1 | -0/+1 |
| |\ | | | | | ci: check code formatting and forbid warnings | ||||
| | * | ci: check code formatting | Nadrieril | 2024-04-22 | 1 | -0/+1 |
| | | | |||||
| * | | ci: avoid running duplicate jobs | Nadrieril | 2024-04-22 | 1 | -0/+22 |
| |/ | |||||
| * | Update the workers | Son Ho | 2024-03-08 | 1 | -1/+0 |
| | | |||||
| * | Update the flake.nix and the ci.yml | Son Ho | 2023-12-23 | 1 | -0/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -4/+4 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -2/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -0/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -6/+2 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+4 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -4/+5 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -4/+6 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+3 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -2/+2 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -3/+5 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+1 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -3/+3 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -1/+5 |
| | | |||||
| * | Make a minor fix | Son Ho | 2023-11-10 | 1 | -1/+1 |
| | | |||||
| * | Make a minor update | Son Ho | 2023-11-10 | 1 | -2/+2 |
| | | |||||
| * | Update the ci.yml | Son Ho | 2023-11-10 | 1 | -0/+5 |
| | | |||||
| * | ci: hydra -> github runner | Paul-Nicolas Madelaine | 2023-10-23 | 1 | -0/+19 |
 |
index : aeneas | |
| aeneas rust verifier with a hacky Isabelle backend |
| summaryrefslogtreecommitdiff |