Skip to content
agda-unimath CI

Fix terminology for π-finite types #8431

Sign in to view logs

Fix terminology for π-finite types

Fix terminology for π-finite types #8431

Triggered via pull request January 6, 2025 19:20
@fredrik-bakkefredrik-bakke
ready_for_review #1234
fredrik-bakke:rename-pi-finite
Status Cancelled
Total duration 55s
Artifacts –

ci.yaml

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

Annotations

5 errors
typecheck (macOS-13, 2.6.4)
Canceling since a higher priority waiting request for 'agda-unimath CI-rename-pi-finite' exists
typecheck (macOS-13, 2.6.4)
The operation was canceled.
typecheck (ubuntu-latest, 2.6.4)
Canceling since a higher priority waiting request for 'agda-unimath CI-rename-pi-finite' exists
typecheck (ubuntu-latest, 2.6.4)
The operation was canceled.
pre-commit
Canceling since a higher priority waiting request for 'agda-unimath CI-rename-pi-finite' exists