Skip to content

Actions: AeneasVerif/charon

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #511 from Nadrieril/remove-body-id
Deploy Doc #48: Commit 8ec7c20 pushed by Nadrieril
December 31, 2024 15:04 1m 53s main
December 31, 2024 15:04 1m 53s
Merge pull request #511 from Nadrieril/remove-body-id
.github/workflows/ci.yml #1790: Commit 8ec7c20 pushed by Nadrieril
December 31, 2024 15:04 6m 8s main
December 31, 2024 15:04 6m 8s
Store bodies directly in function declarations
.github/workflows/ci.yml #1789: Pull request #511 synchronize by Nadrieril
December 31, 2024 14:46 12m 14s Nadrieril:remove-body-id
December 31, 2024 14:46 12m 14s
Store bodies directly in function declarations
.github/workflows/ci.yml #1788: Pull request #511 opened by Nadrieril
December 31, 2024 14:40 4m 35s Nadrieril:remove-body-id
December 31, 2024 14:40 4m 35s
Merge pull request #510 from Nadrieril/check-body-generics
.github/workflows/ci.yml #1787: Commit 0bca845 pushed by Nadrieril
December 31, 2024 14:31 6m 12s main
December 31, 2024 14:31 6m 12s
Merge pull request #510 from Nadrieril/check-body-generics
Deploy Doc #47: Commit 0bca845 pushed by Nadrieril
December 31, 2024 14:31 1m 34s main
December 31, 2024 14:31 1m 34s
Check generics inside bodies too
.github/workflows/ci.yml #1786: Pull request #510 opened by Nadrieril
December 31, 2024 14:11 16m 20s Nadrieril:check-body-generics
December 31, 2024 14:11 16m 20s
Merge pull request #509 from Nadrieril/use-crate-in-envs
.github/workflows/ci.yml #1785: Commit adc0a85 pushed by Nadrieril
December 30, 2024 12:41 6m 15s main
December 30, 2024 12:41 6m 15s
Merge pull request #509 from Nadrieril/use-crate-in-envs
Deploy Doc #46: Commit adc0a85 pushed by Nadrieril
December 30, 2024 12:41 1m 56s main
December 30, 2024 12:41 1m 56s
Use crate in ml envs instead of separate per-item maps
.github/workflows/ci.yml #1784: Pull request #509 opened by Nadrieril
December 30, 2024 11:21 6m 27s Nadrieril:use-crate-in-envs
December 30, 2024 11:21 6m 27s
Merge pull request #499 from Nadrieril/use-bound-vars-internally
.github/workflows/ci.yml #1783: Commit 13fd465 pushed by Nadrieril
December 30, 2024 10:41 6m 8s main
December 30, 2024 10:41 6m 8s
Merge pull request #499 from Nadrieril/use-bound-vars-internally
Deploy Doc #45: Commit 13fd465 pushed by Nadrieril
December 30, 2024 10:41 1m 32s main
December 30, 2024 10:41 1m 32s
Use bound vars internally
.github/workflows/ci.yml #1782: Pull request #499 synchronize by Nadrieril
December 30, 2024 10:23 15m 57s Nadrieril:use-bound-vars-internally
December 30, 2024 10:23 15m 57s
Use bound vars internally
.github/workflows/ci.yml #1781: Pull request #499 synchronize by Nadrieril
December 30, 2024 10:23 40s Nadrieril:use-bound-vars-internally
December 30, 2024 10:23 40s
Merge pull request #506 from Nadrieril/rework-rust-visitors
Deploy Doc #44: Commit 4bb32b7 pushed by Nadrieril
December 30, 2024 10:16 1m 33s main
December 30, 2024 10:16 1m 33s
Merge pull request #506 from Nadrieril/rework-rust-visitors
.github/workflows/ci.yml #1780: Commit 4bb32b7 pushed by Nadrieril
December 30, 2024 10:16 6m 13s main
December 30, 2024 10:16 6m 13s
Overhaul the rust visitors
.github/workflows/ci.yml #1779: Pull request #506 synchronize by Nadrieril
December 30, 2024 10:03 13m 15s Nadrieril:rework-rust-visitors
December 30, 2024 10:03 13m 15s
Overhaul the rust visitors
.github/workflows/ci.yml #1778: Pull request #506 synchronize by Nadrieril
December 30, 2024 09:59 3m 32s Nadrieril:rework-rust-visitors
December 30, 2024 09:59 3m 32s
.github/workflows/rustc-tests.yml
.github/workflows/rustc-tests.yml #43: Scheduled
December 29, 2024 01:13 26s main
December 29, 2024 01:13 26s
Overhaul the rust visitors
.github/workflows/ci.yml #1777: Pull request #506 synchronize by Nadrieril
December 23, 2024 15:32 12m 55s Nadrieril:rework-rust-visitors
December 23, 2024 15:32 12m 55s
Overhaul the rust visitors
.github/workflows/ci.yml #1776: Pull request #506 synchronize by Nadrieril
December 23, 2024 15:25 6m 51s Nadrieril:rework-rust-visitors
December 23, 2024 15:25 6m 51s
Overhaul the rust visitors
.github/workflows/ci.yml #1775: Pull request #506 synchronize by Nadrieril
December 23, 2024 15:14 46s Nadrieril:rework-rust-visitors
December 23, 2024 15:14 46s
Overhaul the rust visitors
.github/workflows/ci.yml #1774: Pull request #506 synchronize by Nadrieril
December 23, 2024 15:13 1m 59s Nadrieril:rework-rust-visitors
December 23, 2024 15:13 1m 59s
Overhaul the rust visitors
.github/workflows/ci.yml #1773: Pull request #506 synchronize by Nadrieril
December 23, 2024 15:11 2m 38s Nadrieril:rework-rust-visitors
December 23, 2024 15:11 2m 38s
.github/workflows/rustc-tests.yml
.github/workflows/rustc-tests.yml #42: Scheduled
December 22, 2024 01:12 8m 8s main
December 22, 2024 01:12 8m 8s