agda-unimath CI

Minimum and maximum for decidable total orders (#1291) #8769

Sign in to view logs

Triggered via push February 7, 2025 20:39

EgbertRijke

master

Status Success

Total duration 3m 22s

Artifacts –

ci.yaml

on: push

Matrix: typecheck