coqchk

Prove PIDOrd.compare_asymm #73

Sign in to view logs

Triggered via push February 26, 2026 03:27

k32

dev/setoids

Status Failure

Total duration 2m 5s

Artifacts –

coqchk.yml

on: push

Matrix: build