agda-unimath CI

Apartness for real numbers #8985

Sign in to view logs

Triggered via pull request February 11, 2025 22:37

lowasser

ready_for_review #1296

lowasser:apartness-real

Status Success

Total duration 5m 41s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck