Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #42: Scheduled
December 22, 2024 01:12 8m 8s main
main
December 22, 2024 01:12 8m 8s
Merge pull request #504 from AeneasVerif/son/cfg .github/workflows/ci.yml #1772: Commit db4e045 pushed by sonmarcho
December 20, 2024 21:52 23s main
main
December 20, 2024 21:52 23s
Merge pull request #504 from AeneasVerif/son/cfg Deploy Doc #43: Commit db4e045 pushed by sonmarcho
December 20, 2024 21:52 1m 53s main
main
December 20, 2024 21:52 1m 53s
Improve the CFG reconstruction .github/workflows/ci.yml #1771: Pull request #504 opened by sonmarcho
December 20, 2024 21:10 11m 21s son/cfg
son/cfg
December 20, 2024 21:10 11m 21s
Update the NameMatcher to circumvent an issue in Charon's extraction … Deploy Doc #42: Commit 4552906 pushed by sonmarcho
December 20, 2024 17:36 1m 51s main
main
December 20, 2024 17:36 1m 51s
Update the NameMatcher to circumvent an issue in Charon's extraction … .github/workflows/ci.yml #1770: Commit 4552906 pushed by sonmarcho
December 20, 2024 17:36 6m 18s main
main
December 20, 2024 17:36 6m 18s
Update the NameMatcher to circumvent an issue in Charon's extraction of parameters .github/workflows/ci.yml #1769: Pull request #502 opened by sonmarcho
December 20, 2024 17:32 7m 20s son/fix
son/fix
December 20, 2024 17:32 7m 20s
Use bound vars internally .github/workflows/ci.yml #1768: Pull request #499 synchronize by Nadrieril
December 20, 2024 11:37 5m 42s Nadrieril:use-bound-vars-internally
Nadrieril:use-bound-vars-internally
December 20, 2024 11:37 5m 42s
Use bound vars internally .github/workflows/ci.yml #1767: Pull request #499 synchronize by Nadrieril
December 20, 2024 09:27 5m 54s Nadrieril:use-bound-vars-internally
Nadrieril:use-bound-vars-internally
December 20, 2024 09:27 5m 54s
Merge pull request #501 from AeneasVerif/son/errors .github/workflows/ci.yml #1766: Commit 35afa18 pushed by sonmarcho
December 18, 2024 21:17 22s main
main
December 18, 2024 21:17 22s
Merge pull request #501 from AeneasVerif/son/errors Deploy Doc #41: Commit 35afa18 pushed by sonmarcho
December 18, 2024 21:17 1m 28s main
main
December 18, 2024 21:17 1m 28s
Make minor improvements .github/workflows/ci.yml #1765: Pull request #501 opened by sonmarcho
December 18, 2024 20:49 11m 55s son/errors
son/errors
December 18, 2024 20:49 11m 55s
Add some utilities (#500) Deploy Doc #40: Commit 2909a3c pushed by sonmarcho
December 17, 2024 13:06 1m 38s main
main
December 17, 2024 13:06 1m 38s
Add some utilities (#500) .github/workflows/ci.yml #1764: Commit 2909a3c pushed by sonmarcho
December 17, 2024 13:06 5m 0s main
main
December 17, 2024 13:06 5m 0s
Add minor utilities .github/workflows/ci.yml #1763: Pull request #500 synchronize by sonmarcho
December 17, 2024 12:59 6m 37s son/borrows
son/borrows
December 17, 2024 12:59 6m 37s
Add minor utilities .github/workflows/ci.yml #1762: Pull request #500 opened by sonmarcho
December 17, 2024 12:59 28s son/borrows
son/borrows
December 17, 2024 12:59 28s
Use bound vars internally .github/workflows/ci.yml #1761: Pull request #499 opened by Nadrieril
December 16, 2024 16:02 6m 13s Nadrieril:use-bound-vars-internally
Nadrieril:use-bound-vars-internally
December 16, 2024 16:02 6m 13s
Merge pull request #498 from Nadrieril/binding-levels .github/workflows/ci.yml #1760: Commit e894d12 pushed by Nadrieril
December 16, 2024 10:26 4m 58s main
main
December 16, 2024 10:26 4m 58s
Merge pull request #498 from Nadrieril/binding-levels Deploy Doc #39: Commit e894d12 pushed by Nadrieril
December 16, 2024 10:26 1m 51s main
main
December 16, 2024 10:26 1m 51s
Prepare charon for inner binding levels .github/workflows/ci.yml #1759: Pull request #498 synchronize by Nadrieril
December 16, 2024 10:12 10m 21s Nadrieril:binding-levels
Nadrieril:binding-levels
December 16, 2024 10:12 10m 21s
Prepare charon for inner binding levels .github/workflows/ci.yml #1758: Pull request #498 synchronize by Nadrieril
December 16, 2024 09:41 18m 10s Nadrieril:binding-levels
Nadrieril:binding-levels
December 16, 2024 09:41 18m 10s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #41: Scheduled
December 15, 2024 01:18 7m 39s main
main
December 15, 2024 01:18 7m 39s
Prepare charon for inner binding levels .github/workflows/ci.yml #1757: Pull request #498 opened by Nadrieril
December 13, 2024 15:23 25m 38s Nadrieril:binding-levels
Nadrieril:binding-levels
December 13, 2024 15:23 25m 38s
Merge pull request #497 from Nadrieril/after-debruijn Deploy Doc #38: Commit e6a9a3d pushed by Nadrieril
December 12, 2024 15:49 1m 38s main
main
December 12, 2024 15:49 1m 38s
Merge pull request #497 from Nadrieril/after-debruijn .github/workflows/ci.yml #1756: Commit e6a9a3d pushed by Nadrieril
December 12, 2024 15:49 5m 4s main
main
December 12, 2024 15:49 5m 4s