Skip to content
CI

CI #12408

Sign in to view logs

CI

CI #12408

Triggered via merge group December 6, 2025 13:53
@RalfJungRalfJung
⁠ 0826b87
Status Success
Total duration 22m 42s
Artifacts –

ci.yml

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