Skip to content
agda-unimath CI

Anodyne maps #9316

Sign in to view logs

Anodyne maps

Anodyne maps #9316

Triggered via pull request March 10, 2025 18:18
@fredrik-bakkefredrik-bakke
opened #1361
fredrik-bakke:anodyne-maps
Status Success
Total duration 16m 54s
Artifacts –

ci.yaml

on: pull_request
Matrix: typecheck
pre-commit
42s
pre-commit
link-check
1m 6s
link-check
Fit to window
Zoom out
Zoom in