Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,378 workflow runs
2,378 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: add a node for char values Build and test #3911: Pull request #1121 synchronize by clementblaudeau
Action required clementblaudeau:add-node-char
clementblaudeau:add-node-char
Action required
Fix some bugs with multi-target extraction Build and test #3910: Pull request #1129 synchronize by sonmarcho
7m 3s son/multi-target
son/multi-target
7m 3s
Fix: handle dangling references left by --remove-adt-clauses Build and test #3909: Pull request #1122 synchronize by maximebuyse
Action required maximebuyse:fix-1120
maximebuyse:fix-1120
Action required
Fix: handle dangling references left by --remove-adt-clauses Build and test #3908: Pull request #1122 synchronize by maximebuyse
3m 55s maximebuyse:fix-1120
maximebuyse:fix-1120
3m 55s
Merge pull request #1128 from Nadrieril/method-signature Build and test #3907: Commit 7e69649 pushed by github-merge-queue Bot
1m 1s main
main
1m 1s
Merge pull request #1128 from Nadrieril/method-signature Deploy Doc #452: Commit 7e69649 pushed by github-merge-queue Bot
2m 32s main
main
2m 32s
Merge pull request #1128 from Nadrieril/method-signature Release #49: Commit 7e69649 pushed by github-merge-queue Bot
9m 38s main
main
9m 38s
Build and test Build and test #3906: Merge group checks requested
59s
59s
Include method signatures in the trait declaration Build and test #3905: Pull request #1128 opened by Nadrieril
8m 32s Nadrieril:method-signature
Nadrieril:method-signature
8m 32s
Include method signatures in the trait decl Build and test #3904: Pull request #954 synchronize by Nadrieril
4m 33s Nadrieril:method-signature
Nadrieril:method-signature
4m 33s
Fix: handle dangling references left by --remove-adt-clauses Build and test #3903: Pull request #1122 synchronize by maximebuyse
3m 17s maximebuyse:fix-1120
maximebuyse:fix-1120
3m 17s
Merge pull request #1127 from Nadrieril/remove-unit-metadata Deploy Doc #451: Commit 041dc4a pushed by github-merge-queue Bot
2m 25s main
main
2m 25s
Merge pull request #1127 from Nadrieril/remove-unit-metadata Release #48: Commit 041dc4a pushed by github-merge-queue Bot
9m 54s main
main
9m 54s
Merge pull request #1127 from Nadrieril/remove-unit-metadata Build and test #3902: Commit 041dc4a pushed by github-merge-queue Bot
1m 46s main
main
1m 46s
Build and test Build and test #3901: Merge group checks requested
1m 6s
1m 6s
Remove unit_metadata hack Build and test #3900: Pull request #1127 synchronize by Nadrieril
6m 49s Nadrieril:remove-unit-metadata
Nadrieril:remove-unit-metadata
6m 49s
Fix: handle dangling references left by --remove-adt-clauses Build and test #3899: Pull request #1122 synchronize by maximebuyse
3m 27s maximebuyse:fix-1120
maximebuyse:fix-1120
3m 27s
Fix: handle dangling references left by --remove-adt-clauses Build and test #3898: Pull request #1122 synchronize by maximebuyse
Action required maximebuyse:fix-1120
maximebuyse:fix-1120
Action required
Fix: handle dangling references left by --remove-adt-clauses Build and test #3897: Pull request #1122 synchronize by maximebuyse
Action required maximebuyse:fix-1120
maximebuyse:fix-1120
Action required
Benchmark Benchmark #15: Scheduled
3m 4s main
main
3m 4s
Fix: handle dangling references left by --remove-adt-clauses Build and test #3896: Pull request #1122 synchronize by maximebuyse
2m 20s maximebuyse:fix-1120
maximebuyse:fix-1120
2m 20s
feat: add a node for char values Build and test #3895: Pull request #1121 synchronize by clementblaudeau
Action required clementblaudeau:add-node-char
clementblaudeau:add-node-char
Action required
Remove unit_metadata hack Build and test #3894: Pull request #1127 synchronize by Nadrieril
4m 56s Nadrieril:remove-unit-metadata
Nadrieril:remove-unit-metadata
4m 56s
Remove unit_metadata hack Build and test #3893: Pull request #1127 opened by Nadrieril
4m 3s Nadrieril:remove-unit-metadata
Nadrieril:remove-unit-metadata
4m 3s
Merge pull request #1104 from oliver-butterley/config-file-updates Deploy Doc #450: Commit 02c7f10 pushed by github-merge-queue Bot
2m 31s main
main
2m 31s