Skip to content

Explicit counterexample where (x, u) = (x, v) but u ≠ v #185

Explicit counterexample where (x, u) = (x, v) but u ≠ v

Explicit counterexample where (x, u) = (x, v) but u ≠ v #185

Triggered via pull request May 7, 2025 10:11
Status Failure
Total duration 1m 51s
Artifacts

ci.yml

on: pull_request
Build and update nightlies
1m 46s
Build and update nightlies
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build and update nightlies
Process completed with exit code 1.