Skip to content
agda-unimath CI

Rename wild higher categories #8655

Sign in to view logs

Rename wild higher categories

Rename wild higher categories #8655

Triggered via pull request February 4, 2025 21:00
@EgbertRijkeEgbertRijke
synchronize #1233
fredrik-bakke:rename-ω-categories
Status Success
Total duration 4m 40s
Artifacts –

ci.yaml

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