Skip to content
Agda

theory: Axis 8 sweep — join + composition trio (Rungs A + B; Rung C d… #431

Sign in to view logs

theory: Axis 8 sweep — join + composition trio (Rungs A + B; Rung C d…

theory: Axis 8 sweep — join + composition trio (Rungs A + B; Rung C d… #431

Triggered via push May 20, 2026 14:31
@hyperpolymathhyperpolymath
pushed 5edeec1
main
Status Cancelled
Total duration 1h 55m 41s
Artifacts –

agda.yml

on: push
check
1h 55m
check
cold-check
1h 55m
cold-check
flake-check
1h 55m
flake-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors
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
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
flake-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists