agda-unimath CI

Uniqueness of split essential surjectivity of functors (#1242) #8525

Sign in to view logs

Triggered via push January 28, 2025 17:49

master

Status Success

Total duration 23m 1s

Artifacts –

ci.yaml

on: push

Matrix: typecheck