Precomposition retracts of maps · UniMath/agda-unimath@e7d8580

Triggered via pull request December 7, 2023 18:51

synchronize #974

Status Cancelled

Total duration 58s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck

5 errors

Canceling since a higher priority waiting request for 'agda-unimath CI-exponentiating-diagrams' exists

Canceling since a higher priority waiting request for 'agda-unimath CI-exponentiating-diagrams' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'agda-unimath CI-exponentiating-diagrams' exists

The operation was canceled.