Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #36: Scheduled
November 17, 2024 01:14 4m 32s main
main
November 17, 2024 01:14 4m 32s
Translate global body as a separate initializer function .github/workflows/ci.yml #1651: Pull request #461 synchronize by Nadrieril
November 15, 2024 16:25 4m 35s Nadrieril:const-initializers
Nadrieril:const-initializers
November 15, 2024 16:25 4m 35s
Translate global body as a separate initializer function .github/workflows/ci.yml #1650: Pull request #461 synchronize by Nadrieril
November 15, 2024 14:35 4m 34s Nadrieril:const-initializers
Nadrieril:const-initializers
November 15, 2024 14:35 4m 34s
Use "builtin" instead of "assumed" in the definition names in Charon-ML .github/workflows/ci.yml #1649: Pull request #463 opened by sonmarcho
November 14, 2024 17:55 3m 6s son/builtin
son/builtin
November 14, 2024 17:55 3m 6s
Use the circus-green flake for kyber CI .github/workflows/ci.yml #1648: Pull request #462 opened by Nadrieril
November 14, 2024 16:34 5m 40s Nadrieril:circus-green-for-ci
Nadrieril:circus-green-for-ci
November 14, 2024 16:34 5m 40s
Translate global body as a separate initializer function .github/workflows/ci.yml #1647: Pull request #461 synchronize by Nadrieril
November 14, 2024 16:02 19m 48s Nadrieril:const-initializers
Nadrieril:const-initializers
November 14, 2024 16:02 19m 48s
Translate global body as a separate initializer function .github/workflows/ci.yml #1646: Pull request #461 opened by Nadrieril
November 14, 2024 15:38 6m 8s Nadrieril:const-initializers
Nadrieril:const-initializers
November 14, 2024 15:38 6m 8s
Store the type of each place .github/workflows/ci.yml #1645: Pull request #457 synchronize by Nadrieril
November 13, 2024 14:26 6m 26s Nadrieril:types-in-places
Nadrieril:types-in-places
November 13, 2024 14:26 6m 26s
Merge pull request #459 from qinheping/derive-where .github/workflows/ci.yml #1644: Commit 454078e pushed by Nadrieril
November 13, 2024 12:29 7m 46s main
main
November 13, 2024 12:29 7m 46s
Merge pull request #459 from qinheping/derive-where Deploy Doc #9: Commit 454078e pushed by Nadrieril
November 13, 2024 12:29 1m 36s main
main
November 13, 2024 12:29 1m 36s
Switch from derivative to derive-where .github/workflows/ci.yml #1643: Pull request #459 synchronize by Nadrieril
November 13, 2024 10:48 27m 25s qinheping:derive-where
qinheping:derive-where
November 13, 2024 10:48 27m 25s
Switch from derivative to derive-where .github/workflows/ci.yml #1642: Pull request #459 synchronize by Nadrieril
November 13, 2024 10:30 8m 56s qinheping:derive-where
qinheping:derive-where
November 13, 2024 10:30 8m 56s
Switch from derivative to derive-where .github/workflows/ci.yml #1641: Pull request #459 synchronize by qinheping
November 12, 2024 20:27 12h 10m 33s qinheping:derive-where
qinheping:derive-where
November 12, 2024 20:27 12h 10m 33s
Switch from derivative to derive-where .github/workflows/ci.yml #1640: Pull request #459 synchronize by qinheping
November 12, 2024 20:18 16s qinheping:derive-where
qinheping:derive-where
November 12, 2024 20:18 16s
Store the type of each place .github/workflows/ci.yml #1639: Pull request #457 synchronize by Nadrieril
November 12, 2024 16:25 4m 26s Nadrieril:types-in-places
Nadrieril:types-in-places
November 12, 2024 16:25 4m 26s
Store the type of each place .github/workflows/ci.yml #1638: Pull request #457 synchronize by Nadrieril
November 12, 2024 16:23 2m 17s Nadrieril:types-in-places
Nadrieril:types-in-places
November 12, 2024 16:23 2m 17s
Store the type of each place .github/workflows/ci.yml #1637: Pull request #457 synchronize by Nadrieril
November 12, 2024 16:16 5m 47s Nadrieril:types-in-places
Nadrieril:types-in-places
November 12, 2024 16:16 5m 47s
Merge pull request #456 from AeneasVerif/son/index .github/workflows/ci.yml #1636: Commit 5d2b6ce pushed by Nadrieril
November 12, 2024 13:52 8m 54s main
main
November 12, 2024 13:52 8m 54s
Merge pull request #456 from AeneasVerif/son/index Deploy Doc #8: Commit 5d2b6ce pushed by Nadrieril
November 12, 2024 13:52 1m 49s main
main
November 12, 2024 13:52 1m 49s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1635: Pull request #456 synchronize by Nadrieril
November 12, 2024 13:45 7m 38s son/index
son/index
November 12, 2024 13:45 7m 38s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1634: Pull request #456 synchronize by Nadrieril
November 12, 2024 12:45 21m 50s son/index
son/index
November 12, 2024 12:45 21m 50s
Appease cargo fmt .github/workflows/ci.yml #1633: Commit d2a8774 pushed by Nadrieril
November 12, 2024 12:45 28m 30s son/index
son/index
November 12, 2024 12:45 28m 30s
Merge pull request #460 from Nadrieril/no-ci-on-branches .github/workflows/ci.yml #1632: Commit 51b5c39 pushed by Nadrieril
November 12, 2024 12:31 6m 34s main
main
November 12, 2024 12:31 6m 34s
Merge pull request #460 from Nadrieril/no-ci-on-branches Deploy Doc #7: Commit 51b5c39 pushed by Nadrieril
November 12, 2024 12:31 1m 39s main
main
November 12, 2024 12:31 1m 39s
Add a micro-pass to fix borrow-checking issues introduced by index_to_function_calls .github/workflows/ci.yml #1631: Pull request #456 synchronize by sonmarcho
November 12, 2024 12:06 2m 15s son/index
son/index
November 12, 2024 12:06 2m 15s