Skip to content
Agda

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

Sign in to view logs

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

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

Triggered via pull request June 27, 2026 19:52
@hyperpolymathhyperpolymath
opened #284
claude/hopeful-babbage-pn0l4o
Status Success
Total duration 11m 48s
Artifacts –

agda.yml

on: pull_request
check
1m 50s
check
cold-check
11m 44s
cold-check
Fit to window
Zoom out
Zoom in