Skip to content
Agda

fix(ci): add SPDX-License-Identifier header to LICENSE (#284) #860

Sign in to view logs

fix(ci): add SPDX-License-Identifier header to LICENSE (#284)

fix(ci): add SPDX-License-Identifier header to LICENSE (#284) #860

Triggered via push June 27, 2026 19:55
@hyperpolymathhyperpolymath
pushed 52df844
main
Status Success
Total duration 12m 21s
Artifacts –

agda.yml

on: push
check
2m 13s
check
cold-check
12m 16s
cold-check
Fit to window
Zoom out
Zoom in