diff options
| author | Ryan Lahfa | 2024-04-24 11:34:27 +0200 |
|---|---|---|
| committer | Ryan Lahfa | 2024-04-24 16:27:27 +0200 |
| commit | eb519e0e56d30763db6ca6667a9f4095061252a4 (patch) | |
| tree | e763056c0f288e283ed0b9b4273866bb0525d19c /backends/lean/lakefile.lean | |
| parent | 1be37966ceea2510b911b119a96246b4657a62fd (diff) | |
chore(ci): move Lean CI under Nix
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>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions