Skip to content
agda-unimath CI

Factor out standard pullbacks #6309

Sign in to view logs

Factor out standard pullbacks

Factor out standard pullbacks #6309

Triggered via pull request February 26, 2024 11:51
@fredrik-bakkefredrik-bakke
synchronize #1042
fredrik-bakke:refactor-standard-pullback
Status Cancelled
Total duration 46s
Artifacts –

ci.yaml

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

Annotations

3 errors
pre-commit
Canceling since a higher priority waiting request for 'agda-unimath CI-refactor-standard-pullback' exists
typecheck (ubuntu-latest, 2.6.4)
Canceling since a higher priority waiting request for 'agda-unimath CI-refactor-standard-pullback' exists
typecheck (macOS-latest, 2.6.4)
Canceling since a higher priority waiting request for 'agda-unimath CI-refactor-standard-pullback' exists