Skip to content
agda-unimath CI

Refactor synthetic homotopy theory #4599

Sign in to view logs

Refactor synthetic homotopy theory

Refactor synthetic homotopy theory #4599

Triggered via pull request October 22, 2023 15:37
@EgbertRijkeEgbertRijke
synchronize #654
EgbertRijke:descent
Status Cancelled
Total duration 59s
Artifacts –

ci.yaml

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

Annotations

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