Skip to content
Kani CI

compiletest: ensure extra arguments are appended at the end (#3379) #7476

Sign in to view logs

compiletest: ensure extra arguments are appended at the end (#3379)

compiletest: ensure extra arguments are appended at the end (#3379) #7476

Run time

Learn about OS pricing on GitHub Actions
Job Run time
benchcomp-tests
3m 49s
documentation
2m 7s
perf
35m 32s
regression (macos-13)
30m 39s
write-json-symtab-regression
14m 56s
regression (ubuntu-20.04)
23m 47s
regression (ubuntu-22.04)
24m 35s
regression (macos-14)
21m 34s
2h 36m 59s