Skip to content
Agda

theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-tr… #410

Sign in to view logs

theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-tr…

theory: Axis 8 graded access modality — thin slice (Access, ≤a, ≤a-tr… #410

Triggered via push May 20, 2026 13:56
@hyperpolymathhyperpolymath
pushed ee1fcf5
main
Status Cancelled
Total duration 49s
Artifacts –

agda.yml

on: push
check
45s
check
cold-check
45s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors
check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists