agda-unimath CI

For `x y : ℚ`, `x < y` if and only if `real-ℚ x < real-ℚ y` (#1293) #8857

Sign in to view logs

Triggered via push February 9, 2025 00:51

master

Status Success

Total duration 3m 21s

Artifacts –

ci.yaml

on: push

Matrix: typecheck