Improve generality of homotopy whiskering operations · UniMath/agda-unimath@cf65a08

Triggered via pull request December 7, 2023 22:47

synchronize #976

Status Cancelled

Total duration 1m 0s

Artifacts –

ci.yaml

on: pull_request

Matrix: typecheck

5 errors

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

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

The operation was canceled.

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

The operation was canceled.