Skip to content
CI

CI #12401

Sign in to view logs

CI

CI #12401

Triggered via merge group December 6, 2025 10:52
@RalfJungRalfJung
⁠ 55cfd47
Status Success
Total duration 23m 4s
Artifacts –

ci.yml

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