aeneas/.github/workflows, branch isabelle

Use the self-hosted runner for the lean CI checks

2024-06-24T12:44:10Z

Revert "Switch to GitHub CI runners" again

2024-06-18T10:30:20Z

This was botched by a confusing merge in https://github.com/AeneasVerif/aeneas/pull/246

Switch to GitHub CI runners

2024-06-17T07:17:09Z

Fix the CI pin check

2024-06-04T07:29:41Z

ci: Check correctness of the charon pinned commit

2024-05-29T07:58:47Z

ci: cancel jobs after force-push to a branch

2024-05-14T14:08:25Z

`./charon-pin` stores the current charon commit

2024-05-14T13:01:39Z

It is kept up-to-date in CI

Prepare CI for merge queue

2024-05-03T13:11:56Z

chore(ci): move Lean CI under Nix

2024-04-24T14:27:27Z

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

Merge pull request #154 from AeneasVerif/ci-fmt

2024-04-23T14:37:54Z

ci: check code formatting and forbid warnings