Skip to content
Soundness Check

Convert reference implementation to submodule #48

Sign in to view logs

Convert reference implementation to submodule

Convert reference implementation to submodule #48

Triggered via push February 6, 2026 13:33
@felsenhowerfelsenhower
pushed d614d67
main
Status Failure
Total duration 32s
Artifacts –

soundness_check.yaml

on: push
build-test
28s
build-test
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-test
Process completed with exit code 2.