Skip to content

Actions: AeneasVerif/charon

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,836 workflow runs
1,836 workflow runs

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
Fix some issues with multi-target extraction Build and test #3917: Pull request #1131 synchronize by sonmarcho
2m 21s son/multi-target-bug
son/multi-target-bug
2m 21s
Merge pull request #1122 from maximebuyse/fix-1120 Build and test #3916: Commit c16869d pushed by github-merge-queue Bot
58s main
main
58s
Build and test Build and test #3915: Merge group checks requested
7m 34s
7m 34s
Merge pull request #1129 from AeneasVerif/son/multi-target Build and test #3914: Commit 28e6668 pushed by github-merge-queue Bot
1m 15s main
main
1m 15s
Build and test Build and test #3913: Merge group checks requested
3m 58s
3m 58s
Fix some issues with multi-target extraction Build and test #3912: Pull request #1131 opened by sonmarcho
3m 12s son/multi-target-bug
son/multi-target-bug
3m 12s
feat: add a node for char values Build and test #3911: Pull request #1121 synchronize by clementblaudeau
8m 16s clementblaudeau:add-node-char
clementblaudeau:add-node-char
8m 16s
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
6m 7s maximebuyse:fix-1120
maximebuyse:fix-1120
6m 7s
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
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 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
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