Skip to content
Agda

theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-trans, ≤a-prop) #403

Sign in to view logs

theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-trans, ≤a-prop)

theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-trans, ≤a-prop) #403

Triggered via pull request May 20, 2026 13:47
@hyperpolymathhyperpolymath
opened #68
theory/axis8-access-modality
Status Cancelled
Total duration 9m 20s
Artifacts –

agda.yml

on: pull_request
check
9m 17s
check
cold-check
9m 17s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/68/merge exists
check
Canceling since a higher priority waiting request for Agda-refs/pull/68/merge exists
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/68/merge exists