Skip to content
Agda

chore(license): migrate to MPL-2.0 (#115) #516

Sign in to view logs

chore(license): migrate to MPL-2.0 (#115)

chore(license): migrate to MPL-2.0 (#115) #516

Triggered via push May 26, 2026 18:29
@hyperpolymathhyperpolymath
pushed e982568
main
Status Cancelled
Total duration 6h 51m 29s
Artifacts –

agda.yml

on: push
check
6h 51m
check
cold-check
6h 51m
cold-check
Fit to window
Zoom out
Zoom in

Annotations

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