CI

claude: test(soundness): add POR and symmetry correctness proptest #174

Sign in to view logs

Triggered via push March 6, 2026 15:25

danwt

main

Status Failure

Total duration 43m 52s

Artifacts –

ci.yml

on: push

Annotations

1 error

Process completed with exit code 1.