Skip to content

Actions: AeneasVerif/charon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Merge pull request #1249 from Nadrieril/fix-1236 Benchmark #81: Commit 0c91ca1 pushed by github-merge-queue Bot
2m 32s main
main
2m 32s
Merge pull request #1249 from Nadrieril/fix-1236 Build and test #4200: Commit 0c91ca1 pushed by github-merge-queue Bot
51s main
main
51s
Merge pull request #1249 from Nadrieril/fix-1236 Deploy Doc #524: Commit 0c91ca1 pushed by github-merge-queue Bot
2m 30s main
main
2m 30s
Build and test Build and test #4199: Merge group checks requested
53s
53s
use the right constant for vtable fields Build and test #4198: Pull request #1249 opened by Nadrieril
6m 38s Nadrieril:fix-1236
Nadrieril:fix-1236
6m 38s
.github/workflows/rustc-tests.yml .github/workflows/rustc-tests.yml #137: Manually run by Nadrieril
8m 46s main
main
8m 46s
Merge pull request #1246 from Nadrieril/triage-rustc-ui-tests Deploy Doc #523: Commit 98b40b2 pushed by github-merge-queue Bot
3m 35s main
main
3m 35s
Merge pull request #1246 from Nadrieril/triage-rustc-ui-tests Build and test #4197: Commit 98b40b2 pushed by github-merge-queue Bot
53s main
main
53s
Merge pull request #1246 from Nadrieril/triage-rustc-ui-tests Benchmark #80: Commit 98b40b2 pushed by github-merge-queue Bot
2m 32s main
main
2m 32s
Build and test Build and test #4196: Merge group checks requested
6m 28s
6m 28s
Merge pull request #1247 from Nadrieril/hrtb-type-alias-clauses Deploy Doc #522: Commit 07b6fbf pushed by github-merge-queue Bot
6m 9s main
main
6m 9s
Merge pull request #1247 from Nadrieril/hrtb-type-alias-clauses Build and test #4195: Commit 07b6fbf pushed by github-merge-queue Bot
1m 0s main
main
1m 0s
Merge pull request #1247 from Nadrieril/hrtb-type-alias-clauses Benchmark #79: Commit 07b6fbf pushed by github-merge-queue Bot
2m 50s main
main
2m 50s
Build and test Build and test #4194: Merge group checks requested
55s
55s
Update rustc ui test harness Build and test #4193: Pull request #1246 synchronize by Nadrieril
6m 39s Nadrieril:triage-rustc-ui-tests
Nadrieril:triage-rustc-ui-tests
6m 39s
Add missing clauses for all type aliases Build and test #4192: Pull request #1247 opened by Nadrieril
6m 27s Nadrieril:hrtb-type-alias-clauses
Nadrieril:hrtb-type-alias-clauses
6m 27s
Update rustc ui test harness Build and test #4191: Pull request #1246 opened by Nadrieril
2m 22s Nadrieril:triage-rustc-ui-tests
Nadrieril:triage-rustc-ui-tests
2m 22s
Merge pull request #1245 from Nadrieril/poly-drop-glue Build and test #4190: Commit c324a99 pushed by github-merge-queue Bot
2m 57s main
main
2m 57s
Merge pull request #1245 from Nadrieril/poly-drop-glue Benchmark #78: Commit c324a99 pushed by github-merge-queue Bot
2m 31s main
main
2m 31s
Merge pull request #1245 from Nadrieril/poly-drop-glue Deploy Doc #521: Commit c324a99 pushed by github-merge-queue Bot
2m 36s main
main
2m 36s
Build and test Build and test #4189: Merge group checks requested
51s
51s
Bump rustc to translate poly drop glue Build and test #4188: Pull request #1245 synchronize by Nadrieril
3m 3s Nadrieril:poly-drop-glue
Nadrieril:poly-drop-glue
3m 3s
Bump rustc to translate poly drop glue Build and test #4187: Pull request #1245 opened by Nadrieril
5m 11s Nadrieril:poly-drop-glue
Nadrieril:poly-drop-glue
5m 11s
Release Release #83: Scheduled
10m 58s main
main
10m 58s
Merge pull request #1240 from Nadrieril/fix-soteria-bugs Deploy Doc #520: Commit 6101d74 pushed by github-merge-queue Bot
2m 20s main
main
2m 20s