Skip to content
agda-unimath CI

Fix urls #5457

Sign in to view logs

Fix urls

Fix urls #5457

Triggered via pull request December 11, 2023 16:48
@tomdjongtomdjong
opened #980
tomdjong:fix-links
Status Success
Total duration 2m 11s
Artifacts –

ci.yaml

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