Skip to content
agda-unimath CI

Closure properties of π-finite types #9308

Sign in to view logs

Closure properties of π-finite types

Closure properties of π-finite types #9308

Triggered via pull request March 5, 2025 19:53
@fredrik-bakkefredrik-bakke
synchronize #1311
fredrik-bakke:pi-finite
Status Cancelled
Total duration 3m 29s
Artifacts –

ci.yaml

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

Annotations

5 errors
pre-commit
Process completed with exit code 1.
typecheck (ubuntu-latest, 2.7.0)
Canceling since a higher priority waiting request for 'agda-unimath CI-pi-finite' exists
typecheck (ubuntu-latest, 2.7.0)
The operation was canceled.
typecheck (macOS-13, 2.7.0)
Canceling since a higher priority waiting request for 'agda-unimath CI-pi-finite' exists
typecheck (macOS-13, 2.7.0)
The operation was canceled.