Skip to content
CI

Remove the build script for miri #10018

Sign in to view logs

Remove the build script for miri

Remove the build script for miri #10018

Triggered via pull request February 14, 2025 13:01
@bjorn3bjorn3
synchronize #4192
bjorn3:no_build_script
Status Success
Total duration 27m 45s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
2m 34s
style checks
coverage report
6m 7s
coverage report
conclusion
0s
conclusion
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in