Skip to content
CI

make many-seeds a mode of ./miri run rather than a separate command #7287

Sign in to view logs

make many-seeds a mode of ./miri run rather than a separate command

make many-seeds a mode of ./miri run rather than a separate command #7287

Triggered via pull request May 3, 2024 22:21
@RalfJungRalfJung
opened #3548
RalfJung:many-seeds
Status Success
Total duration 31m 16s
Artifacts –

ci.yml

on: pull_request
Matrix: build
style checks
3m 6s
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