Time CI

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

Sign in to view logs

Triggered via pull request September 8, 2024 21:01

spytheman

opened #22182

spytheman:builtin_simplify_panic_for_cbmc

Status Success

Total duration 9m 57s

Artifacts –

time_ci.yml

on: pull_request

test-time-linux

test-time-macos

test-time-windows