Skip to content
CN Proof

[CN-Exec] Make error name which function is uninterpreted #158

Sign in to view logs

[CN-Exec] Make error name which function is uninterpreted

[CN-Exec] Make error name which function is uninterpreted #158

Triggered via pull request December 19, 2024 20:11
@ZippeyKeys12ZippeyKeys12
opened #772
ZippeyKeys12:cn-exec-better-error-for-uninterp
Status Success
Total duration 14m 5s
Artifacts –

ci-cn.yml

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