agda-unimath CI

Page for 1000+ theorems (#1324) #9105

Sign in to view logs

Triggered via push February 14, 2025 19:03

EgbertRijke

master

Status Success

Total duration 11m 59s

Artifacts –

ci.yaml

on: push

Matrix: typecheck