Skip to content
agda-unimath CI

Sequential colimits #4588

Sign in to view logs

Sequential colimits

Sequential colimits #4588

Triggered via pull request October 22, 2023 15:30
@VojtechStepVojtechStep
synchronize #841
VojtechStep:feature/sequential-colimits
Status Success
Total duration 3m 1s
Artifacts –

ci.yaml

on: pull_request
Matrix: typecheck
pre-commit
58s
pre-commit
link-check
29s
link-check
Fit to window
Zoom out
Zoom in