agda-unimath CI

Basic properties of orthogonal maps #5456

Sign in to view logs

Triggered via pull request December 10, 2023 18:14

synchronize #979

fredrik-bakke:orthogonal-maps

Status Success

Total duration 4m 43s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck