Skip to content
CI

CI #12405

Sign in to view logs

CI

CI #12405

Triggered via merge group December 6, 2025 12:02
@RalfJungRalfJung
⁠ ade385f
Status Success
Total duration 23m 39s
Artifacts –

ci.yml

on: merge_group
Matrix: test
style checks
5m 22s
style checks
bootstrap build
3m 0s
bootstrap build
coverage report
6m 3s
coverage report
automatic pull from rustc
0s
automatic pull from rustc
conclusion
4s
conclusion
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in