Skip to content
CI

CI #12397

Sign in to view logs

CI

CI #12397

Triggered via merge group December 6, 2025 09:40
@RalfJungRalfJung
⁠ 5fe2738
Status Success
Total duration 25m 44s
Artifacts –

ci.yml

on: merge_group
Matrix: test
style checks
5m 9s
style checks
bootstrap build
2m 47s
bootstrap build
coverage report
5m 50s
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