Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #979 from Nadrieril/compress-goto-chains Build and test #3466: Commit 38af3dc pushed by github-merge-queue bot
55s main
main
55s
Merge pull request #979 from Nadrieril/compress-goto-chains Deploy Doc #363: Commit 38af3dc pushed by github-merge-queue bot
2m 27s main
main
2m 27s
Build and test Build and test #3465: Merge group checks requested
56s
56s
Compress goto chains better Build and test #3464: Pull request #979 opened by Nadrieril
6m 33s Nadrieril:compress-goto-chains
Nadrieril:compress-goto-chains
6m 33s
Merge pull request #978 from Nadrieril/relooper-loop-breaks Build and test #3463: Commit cad3a5b pushed by github-merge-queue bot
58s main
main
58s
Merge pull request #978 from Nadrieril/relooper-loop-breaks Deploy Doc #362: Commit cad3a5b pushed by github-merge-queue bot
2m 39s main
main
2m 39s
Build and test Build and test #3462: Merge group checks requested
58s
58s
Improve relooper using exit blocks Build and test #3461: Pull request #978 opened by Nadrieril
21m 59s Nadrieril:relooper-loop-breaks
Nadrieril:relooper-loop-breaks
21m 59s
.github/workflows/weekly.yml .github/workflows/weekly.yml #56: Scheduled
3m 53s main
main
3m 53s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #117: Scheduled
6m 9s main
main
6m 9s
Merge pull request #977 from Nadrieril/improve-exit-heuristics Deploy Doc #361: Commit 56e0268 pushed by github-merge-queue bot
2m 19s main
main
2m 19s
Merge pull request #977 from Nadrieril/improve-exit-heuristics Build and test #3460: Commit 56e0268 pushed by github-merge-queue bot
1m 33s main
main
1m 33s
Build and test Build and test #3459: Merge group checks requested
56s
56s
Only consider switch exits within the same loop as the switch entry Build and test #3458: Pull request #977 synchronize by Nadrieril
3m 7s Nadrieril:improve-exit-heuristics
Nadrieril:improve-exit-heuristics
3m 7s
Only consider switch exits within the same loop as the switch entry Build and test #3457: Pull request #977 synchronize by Nadrieril
27s Nadrieril:improve-exit-heuristics
Nadrieril:improve-exit-heuristics
27s
Only consider switch exits within the same loop as the switch entry Build and test #3456: Pull request #977 opened by Nadrieril
32s Nadrieril:improve-exit-heuristics
Nadrieril:improve-exit-heuristics
32s
Merge pull request #976 from Nadrieril/rework-loop-exits Build and test #3455: Commit 95fb6b5 pushed by github-merge-queue bot
59s main
main
59s
Merge pull request #976 from Nadrieril/rework-loop-exits Deploy Doc #360: Commit 95fb6b5 pushed by github-merge-queue bot
2m 35s main
main
2m 35s
Build and test Build and test #3454: Merge group checks requested
4m 2s
4m 2s
Merge pull request #975 from soteria-tools/subst-constant-exprs Deploy Doc #359: Commit 947e6fc pushed by github-merge-queue bot
2m 50s main
main
2m 50s
Merge pull request #975 from soteria-tools/subst-constant-exprs Build and test #3453: Commit 947e6fc pushed by github-merge-queue bot
57s main
main
57s
Build and test Build and test #3452: Merge group checks requested
1m 38s
1m 38s
Rework the loop exits computation Build and test #3451: Pull request #976 opened by Nadrieril
6m 35s Nadrieril:rework-loop-exits
Nadrieril:rework-loop-exits
6m 35s
Substitute const expressions in OCaml Build and test #3450: Pull request #975 opened by N1ark
5m 17s soteria-tools:subst-constant-exprs
soteria-tools:subst-constant-exprs
5m 17s
Don't ignore switch exits that are also loop exits Build and test #3449: Pull request #974 opened by Nadrieril
4m 50s Nadrieril:tweak-switch-exits
Nadrieril:tweak-switch-exits
4m 50s