Skip to content

Actions: AeneasVerif/aeneas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,222 workflow runs
1,222 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Tweak formatting options .github/workflows/ci.yml #1175: Pull request #264 synchronize by Nadrieril
July 3, 2024 12:36 13m 12s Nadrieril:format
Nadrieril:format
July 3, 2024 12:36 13m 12s
Merge pull request #278 from Nadrieril/update-charon .github/workflows/ci.yml #1174: Commit a58998b pushed by Nadrieril
July 3, 2024 12:35 59s main
main
July 3, 2024 12:35 59s
Tweak formatting options .github/workflows/ci.yml #1173: Pull request #264 synchronize by Nadrieril
July 3, 2024 09:52 2h 40m 56s Nadrieril:format
Nadrieril:format
July 3, 2024 09:52 2h 40m 56s
Update charon .github/workflows/ci.yml #1172: Pull request #278 opened by Nadrieril
July 3, 2024 09:24 1m 14s Nadrieril:update-charon
Nadrieril:update-charon
July 3, 2024 09:24 1m 14s
Tweak formatting options .github/workflows/ci.yml #1171: Pull request #264 synchronize by Nadrieril
July 3, 2024 08:31 1h 13m 7s Nadrieril:format
Nadrieril:format
July 3, 2024 08:31 1h 13m 7s
feat: progress? to say which theorem has been used .github/workflows/ci.yml #1170: Pull request #277 synchronize by RaitoBezarius
July 2, 2024 14:02 2h 40m 46s RaitoBezarius:progress-says
RaitoBezarius:progress-says
July 2, 2024 14:02 2h 40m 46s
feat: progress? to say which theorem has been used .github/workflows/ci.yml #1169: Pull request #277 synchronize by RaitoBezarius
July 2, 2024 13:58 1h 21m 58s RaitoBezarius:progress-says
RaitoBezarius:progress-says
July 2, 2024 13:58 1h 21m 58s
feat: progress? to say which theorem has been used .github/workflows/ci.yml #1168: Pull request #277 synchronize by RaitoBezarius
July 2, 2024 13:14 42m 40s RaitoBezarius:progress-says
RaitoBezarius:progress-says
July 2, 2024 13:14 42m 40s
Merge remote-tracking branch 'origin/main' into son/scalar_tac .github/workflows/ci.yml #1167: Commit 7870acc pushed by sonmarcho
July 2, 2024 11:43 39m 47s son/scalar_tac
son/scalar_tac
July 2, 2024 11:43 39m 47s
feat: progress? to say which theorem has been used .github/workflows/ci.yml #1166: Pull request #277 opened by RaitoBezarius
July 1, 2024 16:05 3h 35m 33s RaitoBezarius:progress-says
RaitoBezarius:progress-says
July 1, 2024 16:05 3h 35m 33s
Update the lean toolchain (#275) .github/workflows/ci.yml #1165: Commit 61044c8 pushed by sonmarcho
July 1, 2024 15:57 1h 16m 34s main
main
July 1, 2024 15:57 1h 16m 34s
tests: add AVL example .github/workflows/ci.yml #1164: Pull request #276 synchronize by RaitoBezarius
July 1, 2024 14:51 3h 30m 13s RaitoBezarius:avl-tests
RaitoBezarius:avl-tests
July 1, 2024 14:51 3h 30m 13s
tests: add AVL example .github/workflows/ci.yml #1163: Pull request #276 opened by RaitoBezarius
July 1, 2024 14:46 2h 26m 25s RaitoBezarius:avl-tests
RaitoBezarius:avl-tests
July 1, 2024 14:46 2h 26m 25s
Update the lean toolchain to 4.9.0 .github/workflows/ci.yml #1162: Pull request #275 opened by sonmarcho
July 1, 2024 14:36 2m 11s son/update-lean
son/update-lean
July 1, 2024 14:36 2m 11s
Update the lean toolchain .github/workflows/ci.yml #1161: Commit 9952995 pushed by sonmarcho
July 1, 2024 14:35 1h 20m 43s son/update-lean
son/update-lean
July 1, 2024 14:35 1h 20m 43s
Merge pull request #274 from Nadrieril/dyn .github/workflows/ci.yml #1160: Commit 2b4455d pushed by Nadrieril
July 1, 2024 14:08 1m 25s main
main
July 1, 2024 14:08 1m 25s
Update charon .github/workflows/ci.yml #1159: Pull request #274 synchronize by Nadrieril
July 1, 2024 11:27 1h 21m 26s Nadrieril:dyn
Nadrieril:dyn
July 1, 2024 11:27 1h 21m 26s
Update charon .github/workflows/ci.yml #1158: Pull request #274 opened by Nadrieril
July 1, 2024 08:11 37s Nadrieril:dyn
Nadrieril:dyn
July 1, 2024 08:11 37s
feat: add Scalar.cast_in_bounds_eq to progress on "trivial" scalar … .github/workflows/ci.yml #1157: Commit 5e44147 pushed by sonmarcho
June 30, 2024 15:04 1m 21s main
main
June 30, 2024 15:04 1m 21s
feat: add Scalar.cast_in_bounds_eq to progress on "trivial" scalar casts .github/workflows/ci.yml #1156: Pull request #265 synchronize by sonmarcho
June 30, 2024 10:46 1h 11m 21s RaitoBezarius:scalar_cast_in_bounds
RaitoBezarius:scalar_cast_in_bounds
June 30, 2024 10:46 1h 11m 21s
Fix a minor issue with the loops fixed-point computation (#273) .github/workflows/ci.yml #1155: Commit b82e345 pushed by sonmarcho
June 30, 2024 10:45 52s main
main
June 30, 2024 10:45 52s
Fix a minor issue with the loops fixed-point computation .github/workflows/ci.yml #1154: Pull request #273 synchronize by sonmarcho
June 30, 2024 08:57 36m 33s son/fix
son/fix
June 30, 2024 08:57 36m 33s
Update a test .github/workflows/ci.yml #1153: Commit 7460978 pushed by sonmarcho
June 30, 2024 08:57 1h 32m 27s son/fix
son/fix
June 30, 2024 08:57 1h 32m 27s
Fix a minor issue with the loops fixed-point computation .github/workflows/ci.yml #1152: Pull request #273 synchronize by sonmarcho
June 30, 2024 08:05 42m 15s son/fix
son/fix
June 30, 2024 08:05 42m 15s
Update the Charon pin .github/workflows/ci.yml #1151: Commit 352db22 pushed by sonmarcho
June 30, 2024 08:05 1h 27m 1s son/fix
son/fix
June 30, 2024 08:05 1h 27m 1s