builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases #23038
Triggered via pull request
September 8, 2024 21:01
spytheman
Status
Success
Total duration
11m 57s
Artifacts
–
vab_ci.yml
on: pull_request
vab-compiles-v-examples
4m 7s
v-compiles-os-android
1m 11s