Skip to content
agda-unimath CI

Metric extensions #12342

Sign in to view logs

Metric extensions

Metric extensions #12342

Triggered via pull request December 8, 2025 21:25
@malarbolmalarbol
synchronize #1742
malarbol:refactor-metric-extensions
Status Success
Total duration 54s
Artifacts –

ci.yaml

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