agda-unimath CI

Logic, equality, and compactness #9341

Sign in to view logs

Triggered via pull request March 15, 2025 00:47

synchronize #1264

fredrik-bakke:logic-compactness

Status Success

Total duration 12m 44s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck