Skip to content

Actions: AeneasVerif/aeneas

Actions

.github/workflows/ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,487 workflow runs
1,487 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use "builtin" rather than "assumed" in the names .github/workflows/ci.yml #1490: Pull request #360 opened by sonmarcho
November 14, 2024 18:09 1m 32s son/builtin
son/builtin
November 14, 2024 18:09 1m 32s
Update the Charon pin .github/workflows/ci.yml #1489: Commit e5b1109 pushed by sonmarcho
November 14, 2024 18:08 1m 23s son/builtin
son/builtin
November 14, 2024 18:08 1m 23s
Reorganize the source files into subfolders .github/workflows/ci.yml #1488: Pull request #359 opened by sonmarcho
November 14, 2024 17:44 1m 29s son/reorganize
son/reorganize
November 14, 2024 17:44 1m 29s
Make minor modifications .github/workflows/ci.yml #1487: Commit 67f5498 pushed by sonmarcho
November 14, 2024 17:43 1m 26s son/reorganize
son/reorganize
November 14, 2024 17:43 1m 26s
Update charon .github/workflows/ci.yml #1486: Pull request #357 synchronize by Nadrieril
November 14, 2024 12:10 17m 51s Nadrieril:update-charon
Nadrieril:update-charon
November 14, 2024 12:10 17m 51s
Update charon .github/workflows/ci.yml #1485: Pull request #357 synchronize by sonmarcho
November 14, 2024 11:30 24m 22s Nadrieril:update-charon
Nadrieril:update-charon
November 14, 2024 11:30 24m 22s
Merge pull request #358 from Nadrieril/split-charon-ci-check .github/workflows/ci.yml #1484: Commit 6c5bfa2 pushed by Nadrieril
November 14, 2024 11:00 1m 21s main
main
November 14, 2024 11:00 1m 21s
Split the check-charon-pin job in two .github/workflows/ci.yml #1483: Pull request #358 opened by Nadrieril
November 14, 2024 10:40 18m 19s Nadrieril:split-charon-ci-check
Nadrieril:split-charon-ci-check
November 14, 2024 10:40 18m 19s
Merge pull request #356 from AeneasVerif/son/backward .github/workflows/ci.yml #1482: Commit adb3f23 pushed by sonmarcho
November 13, 2024 21:15 46s main
main
November 13, 2024 21:15 46s
Update the generation of the backward functions so that they don't fail .github/workflows/ci.yml #1481: Pull request #356 synchronize by sonmarcho
November 13, 2024 18:19 1m 25s son/backward
son/backward
November 13, 2024 18:19 1m 25s
Update a Coq definition .github/workflows/ci.yml #1480: Commit 8f88171 pushed by sonmarcho
November 13, 2024 18:19 19m 31s son/backward
son/backward
November 13, 2024 18:19 19m 31s
Update the generation of the backward functions so that they don't fail .github/workflows/ci.yml #1479: Pull request #356 synchronize by sonmarcho
November 13, 2024 17:33 1m 30s son/backward
son/backward
November 13, 2024 17:33 1m 30s
Merge branch 'main' into son/backward .github/workflows/ci.yml #1478: Commit 2b75126 pushed by sonmarcho
November 13, 2024 17:33 16m 45s son/backward
son/backward
November 13, 2024 17:33 16m 45s
Update charon .github/workflows/ci.yml #1477: Pull request #357 opened by Nadrieril
November 13, 2024 16:26 14m 56s Nadrieril:update-charon
Nadrieril:update-charon
November 13, 2024 16:26 14m 56s
Merge pull request #354 from Nadrieril/rework_place_access .github/workflows/ci.yml #1476: Commit 1d241f8 pushed by Nadrieril
November 13, 2024 11:08 47s main
main
November 13, 2024 11:08 47s
Rework place_access function .github/workflows/ci.yml #1475: Pull request #354 synchronize by Nadrieril
November 13, 2024 09:54 1h 13m 30s Nadrieril:rework_place_access
Nadrieril:rework_place_access
November 13, 2024 09:54 1h 13m 30s
Update the generation of the backward functions so that they don't fail .github/workflows/ci.yml #1474: Pull request #356 synchronize by sonmarcho
November 12, 2024 19:35 14h 43m 12s son/backward
son/backward
November 12, 2024 19:35 14h 43m 12s
Update the tests .github/workflows/ci.yml #1473: Commit ca1aab0 pushed by sonmarcho
November 12, 2024 19:35 14h 54m 50s son/backward
son/backward
November 12, 2024 19:35 14h 54m 50s
Implement a micro-pass to simplify the use of the array/slice index f… .github/workflows/ci.yml #1472: Commit 49a93bc pushed by sonmarcho
November 12, 2024 19:27 46s main
main
November 12, 2024 19:27 46s
Implement a micro-pass to simplify the use of the array/slice index functions and the aggregated ADTs .github/workflows/ci.yml #1471: Pull request #353 synchronize by sonmarcho
November 12, 2024 19:04 1m 24s son/arrays
son/arrays
November 12, 2024 19:04 1m 24s
Fix some proofs .github/workflows/ci.yml #1470: Commit 501ea67 pushed by sonmarcho
November 12, 2024 19:04 18m 53s son/arrays
son/arrays
November 12, 2024 19:04 18m 53s
Update the generation of the backward functions so that they don't fail .github/workflows/ci.yml #1469: Pull request #356 opened by sonmarcho
November 12, 2024 18:21 20m 6s son/backward
son/backward
November 12, 2024 18:21 20m 6s
Update the tests .github/workflows/ci.yml #1468: Commit bad5554 pushed by sonmarcho
November 12, 2024 18:21 35m 12s son/backward
son/backward
November 12, 2024 18:21 35m 12s
Implement a micro-pass to simplify the use of the array/slice index functions and the aggregated ADTs .github/workflows/ci.yml #1467: Pull request #353 synchronize by sonmarcho
November 12, 2024 18:19 2m 9s son/arrays
son/arrays
November 12, 2024 18:19 2m 9s
Merge branch 'main' into son/arrays .github/workflows/ci.yml #1466: Commit f15f8ed pushed by sonmarcho
November 12, 2024 18:19 20m 31s son/arrays
son/arrays
November 12, 2024 18:19 20m 31s