Skip to content
Sanity checks

Merge branch 'matthias/clippy-and-warnings' into matthias/s-box-7 #172

Sign in to view logs

Merge branch 'matthias/clippy-and-warnings' into matthias/s-box-7

Merge branch 'matthias/clippy-and-warnings' into matthias/s-box-7 #172

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Sanity check
6m 56s
Run legacy scripts
9m 10s
16m 6s