Skip to content
Agda

fix(LICENSE): restore SPDX-License-Identifier header #663

Sign in to view logs

fix(LICENSE): restore SPDX-License-Identifier header

fix(LICENSE): restore SPDX-License-Identifier header #663

Triggered via push June 11, 2026 10:24
@hyperpolymathhyperpolymath
pushed e6db559
main
Status Success
Total duration 12m 24s
Artifacts –

agda.yml

on: push
check
1m 52s
check
cold-check
12m 6s
cold-check
Fit to window
Zoom out
Zoom in