Skip to content

Use clap in miri-script #9638

Use clap in miri-script

Use clap in miri-script #9638

Annotations

1 warning

coverage report

succeeded Dec 14, 2024 in 7m 45s
Set up job
0s
Run actions/checkout@v4
2s
Run /./.github/workflows/setup
2m 9s
coverage
5m 29s
Post Run /./.github/workflows/setup
2s
Post Run actions/checkout@v4
0s
Complete job
0s