Skip to content
wasm backend CI

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

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

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

wasm_backend_ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
test (windows-2022)
The following actions use a deprecated Node.js version and will be forced to run on node20: wasmerio/setup-wasmer@v3.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (ubuntu-22.04)
The following actions use a deprecated Node.js version and will be forced to run on node20: wasmerio/setup-wasmer@v3.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
test (macos-12)
The following actions use a deprecated Node.js version and will be forced to run on node20: wasmerio/setup-wasmer@v3.1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/