Skip to content
miri

ci: Fail Miri CI on first failure #9000

Sign in to view logs

ci: Fail Miri CI on first failure

ci: Fail Miri CI on first failure #9000

Triggered via pull request December 25, 2023 11:05
@JefffreyJefffrey
opened #5243
Jefffrey:fix_miri_ci
Status Failure
Total duration 2m 36s
Artifacts –

miri.yaml

on: pull_request
MIRI
2m 24s
MIRI
Fit to window
Zoom out
Zoom in

Annotations

1 error
MIRI
Process completed with exit code 1.