Continuation modalities and Lawvere–Tierney topologies · UniMath/agda-unimath@d501b57

Triggered via pull request November 4, 2024 21:26

synchronize #1157

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-continuation-modalities' exists

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

The operation was canceled.

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

The operation was canceled.