Skip to content
Kani CI

compiletest: ensure extra arguments are appended at the end #380

Sign in to view logs

compiletest: ensure extra arguments are appended at the end

compiletest: ensure extra arguments are appended at the end #380

Run time

Learn about OS pricing on GitHub Actions
Job Run time
benchcomp-tests
3m 43s
documentation
2m 6s
perf
29m 22s
regression (macos-13)
28m 44s
write-json-symtab-regression
14m 58s
regression (ubuntu-20.04)
24m 10s
regression (ubuntu-22.04)
23m 40s
regression (macos-14)
19m 16s
2h 25m 59s