Skip to content
CI

use a little arg-parsing helper for miri-script #7585

Sign in to view logs

use a little arg-parsing helper for miri-script

use a little arg-parsing helper for miri-script #7585

Triggered via pull request May 19, 2024 16:57
@RalfJungRalfJung
synchronize #3621
RalfJung:argparse
Status Success
Total duration 21m 39s
Artifacts –

ci.yml

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