Skip to content

Actions: AeneasVerif/aeneas

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,749 workflow runs
1,749 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't trigger CI on non-main branches .github/workflows/ci.yml #1605: Pull request #384 opened by Nadrieril
December 3, 2024 13:32 16m 44s Nadrieril:ci
Nadrieril:ci
December 3, 2024 13:32 16m 44s
Various small code improvements .github/workflows/ci.yml #1604: Pull request #383 opened by Nadrieril
December 3, 2024 13:28 23m 55s Nadrieril:tweaks
Nadrieril:tweaks
December 3, 2024 13:28 23m 55s
Add some definitions to the standard library .github/workflows/ci.yml #1603: Pull request #382 opened by sonmarcho
December 3, 2024 11:47 1h 41m 46s son/features
son/features
December 3, 2024 11:47 1h 41m 46s
Add tests for the builtin definitions .github/workflows/ci.yml #1602: Commit 8238eb8 pushed by sonmarcho
December 3, 2024 11:47 1h 57m 55s son/features
son/features
December 3, 2024 11:47 1h 57m 55s
Merge pull request #379 from AeneasVerif/son/options .github/workflows/ci.yml #1601: Commit 50c86f7 pushed by sonmarcho
December 2, 2024 17:05 38s main
main
December 2, 2024 17:05 38s
Merge pull request #379 from AeneasVerif/son/options Deploy Aeneas user docs to GitHub pages #58: Commit 50c86f7 pushed by sonmarcho
December 2, 2024 17:05 1m 34s main
main
December 2, 2024 17:05 1m 34s
Check that the Charon options are correct .github/workflows/ci.yml #1600: Pull request #379 synchronize by sonmarcho
December 2, 2024 14:56 1m 3s son/options
son/options
December 2, 2024 14:56 1m 3s
Update the Charon pin .github/workflows/ci.yml #1599: Commit c14445a pushed by sonmarcho
December 2, 2024 14:56 14m 43s son/options
son/options
December 2, 2024 14:56 14m 43s
Check that the Charon options are correct .github/workflows/ci.yml #1598: Pull request #379 synchronize by sonmarcho
December 2, 2024 14:01 1m 2s son/options
son/options
December 2, 2024 14:01 1m 2s
Update the README .github/workflows/ci.yml #1597: Commit d6053c3 pushed by sonmarcho
December 2, 2024 14:01 14m 27s son/options
son/options
December 2, 2024 14:01 14m 27s
Check that the Charon options are correct .github/workflows/ci.yml #1596: Pull request #379 synchronize by sonmarcho
December 2, 2024 13:41 1m 38s son/options
son/options
December 2, 2024 13:41 1m 38s
Check the Charon CLI options .github/workflows/ci.yml #1595: Commit b0abe36 pushed by sonmarcho
December 2, 2024 13:41 15m 38s son/options
son/options
December 2, 2024 13:41 15m 38s
Check that the Charon options are correct .github/workflows/ci.yml #1594: Pull request #379 opened by sonmarcho
December 2, 2024 13:33 2m 2s son/options
son/options
December 2, 2024 13:33 2m 2s
Update the Charon pin .github/workflows/ci.yml #1593: Commit db4770f pushed by sonmarcho
December 2, 2024 13:32 9m 2s son/options
son/options
December 2, 2024 13:32 9m 2s
Merge pull request #378 from AeneasVerif/son/extract .github/workflows/ci.yml #1592: Commit 95fb853 pushed by sonmarcho
December 2, 2024 11:13 46s main
main
December 2, 2024 11:13 46s
Merge pull request #378 from AeneasVerif/son/extract Deploy Aeneas user docs to GitHub pages #57: Commit 95fb853 pushed by sonmarcho
December 2, 2024 11:13 43s main
main
December 2, 2024 11:13 43s
Fix the extracted name of some clone methods .github/workflows/ci.yml #1591: Pull request #378 opened by sonmarcho
December 2, 2024 10:55 15m 45s son/extract
son/extract
December 2, 2024 10:55 15m 45s
Fix the extracted name of some clone methods .github/workflows/ci.yml #1590: Commit a2ab814 pushed by sonmarcho
December 2, 2024 10:54 17m 5s son/extract
son/extract
December 2, 2024 10:54 17m 5s
Merge pull request #372 from AeneasVerif/son/features .github/workflows/ci.yml #1589: Commit 19509e6 pushed by Nadrieril
November 29, 2024 13:54 36s main
main
November 29, 2024 13:54 36s
Merge pull request #372 from AeneasVerif/son/features Deploy Aeneas user docs to GitHub pages #56: Commit 19509e6 pushed by Nadrieril
November 29, 2024 13:54 1m 1s main
main
November 29, 2024 13:54 1m 1s
Improve some error messages .github/workflows/ci.yml #1588: Pull request #372 synchronize by sonmarcho
November 29, 2024 13:29 21s son/features
son/features
November 29, 2024 13:29 21s
Merge remote-tracking branch 'origin/main' into son/features .github/workflows/ci.yml #1587: Commit e88a42b pushed by sonmarcho
November 29, 2024 13:29 21s son/features
son/features
November 29, 2024 13:29 21s
Merge pull request #374 from Nadrieril/abstract Deploy Aeneas user docs to GitHub pages #55: Commit c51068e pushed by Nadrieril
November 29, 2024 13:03 39s main
main
November 29, 2024 13:03 39s
Merge pull request #374 from Nadrieril/abstract .github/workflows/ci.yml #1586: Commit c51068e pushed by Nadrieril
November 29, 2024 13:03 49s main
main
November 29, 2024 13:03 49s
Some code simplifications .github/workflows/ci.yml #1585: Pull request #374 synchronize by Nadrieril
November 29, 2024 12:41 20m 43s Nadrieril:abstract
Nadrieril:abstract
November 29, 2024 12:41 20m 43s