agda-unimath CI

Large poset of real numbers #8759

Sign in to view logs

Triggered via pull request February 7, 2025 00:19

lowasser

opened #1289

lowasser:large-poset-real

Status Success

Total duration 3m 17s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck