Skip to content
toml CI

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

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 #19634

Triggered via pull request September 8, 2024 21:01
@spythemanspytheman
opened #22182
spytheman:builtin_simplify_panic_for_cbmc
Status Success
Total duration 3m 8s
Artifacts –

toml_ci.yml

on: pull_request
toml-module-pass-external-test-suites
1m 1s
toml-module-pass-external-test-suites
Fit to window
Zoom out
Zoom in