aeneas/.github/workflows, branch isabelle aeneas rust verifier with a hacky Isabelle backend Use the self-hosted runner for the lean CI checks 2024-06-24T12:44:10+00:00 Nadrieril 2024-06-24T12:44:10+00:00 2adc05c2d34b7b4e2a6283748ca67f870eb340a3 






Revert "Switch to GitHub CI runners" again
2024-06-18T10:30:20+00:00

Nadrieril

2024-06-17T12:01:07+00:00

926eb538cc35cf9a818a6905ff4ce58eeb3db9c4

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





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







Switch to GitHub CI runners
2024-06-17T07:17:09+00:00

Nadrieril

2024-06-17T07:17:09+00:00

dc8278e8bfd5d903ba472f6c91bd67510b23cbc4












Fix the CI pin check
2024-06-04T07:29:41+00:00

Nadrieril

2024-06-04T07:29:41+00:00

d53dcc06e69b6d607261781b4bfc09c52b737a91












ci: Check correctness of the charon pinned commit
2024-05-29T07:58:47+00:00

Nadrieril

2024-05-28T14:05:56+00:00

b5046454b47aba598a42d3d775d2ec54dc57c75a












ci: cancel jobs after force-push to a branch
2024-05-14T14:08:25+00:00

Nadrieril

2024-05-14T14:08:25+00:00

63680b7bd578b4153606bd5b37fd6563c933eb0d












`./charon-pin` stores the current charon commit
2024-05-14T13:01:39+00:00

Nadrieril

2024-05-03T09:32:44+00:00

f2fa29e5ef5c8c7d7375e4c8a37dbba1012fb95c

It is kept up-to-date in CI





It is kept up-to-date in CI







Prepare CI for merge queue
2024-05-03T13:11:56+00:00

Nadrieril

2024-05-03T13:11:48+00:00

4e8394f288ffec87c89a1c4238b3da859a906103












chore(ci): move Lean CI under Nix
2024-04-24T14:27:27+00:00

Ryan Lahfa

2024-04-24T09:34:27+00:00

eb519e0e56d30763db6ca6667a9f4095061252a4

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>





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
2024-04-23T14:37:54+00:00

Son HO

2024-04-23T14:37:54+00:00

f3007820a21d11721507f5054b30bf5ae99a7b95

ci: check code formatting and forbid warnings




ci: check code formatting and forbid warnings