Skip to content
Agda

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

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) #409

Triggered via pull request May 20, 2026 13:56
@hyperpolymathhyperpolymath
synchronize #68
theory/axis8-access-modality
Status Failure
Total duration 12h 48m 55s
Artifacts –

agda.yml

on: pull_request
check
5s
check
cold-check
10m 27s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 1.