builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases #6822
Triggered via pull request
September 8, 2024 21:01
spytheman
Status
Success
Total duration
3h 16m 13s
Artifacts
–
sanitized_ci.yml
on: pull_request
tests-sanitize-undefined-clang
57m 40s
tests-sanitize-undefined-gcc
1h 29m
tests-sanitize-address-clang
2h 0m
tests-sanitize-address-msvc
3m 52s
tests-sanitize-address-gcc
2h 24m
tests-sanitize-memory-clang
3h 9m