Skip to content
CI

tell people how to set miri flags #7843

Sign in to view logs

tell people how to set miri flags

tell people how to set miri flags #7843

Triggered via pull request June 17, 2024 10:55
@RalfJungRalfJung
synchronize #3683
RalfJung:MIRIFLAGS
Status Success
Total duration 23m 21s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
2m 31s
style checks
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
cronjob failure notification
0s
cronjob failure notification
Fit to window
Zoom out
Zoom in