Skip to content
miri

ci: Fail Miri CI on first failure #9001

Sign in to view logs

ci: Fail Miri CI on first failure

ci: Fail Miri CI on first failure #9001

Triggered via pull request December 25, 2023 11:16
@JefffreyJefffrey
synchronize #5243
Jefffrey:fix_miri_ci
Status Success
Total duration 4m 12s
Artifacts –

miri.yaml

on: pull_request
MIRI
4m 0s
MIRI
Fit to window
Zoom out
Zoom in