Skip to content
Back to pull request #22182

builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases #6822

Sign in to view logs

builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases

builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases #6822

Run time

Learn about OS pricing on GitHub Actions
Job Run time
tests-sanitize-address-clang
2h 0m 46s
tests-sanitize-address-gcc
2h 24m 44s
tests-sanitize-memory-clang
3h 9m 44s
tests-sanitize-undefined-clang
57m 40s
tests-sanitize-address-msvc
3m 52s
tests-sanitize-undefined-gcc
1h 29m 10s
10h 5m 56s