Skip to content
Agda

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

Sign in to view logs

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

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

Triggered via pull request June 11, 2026 10:20
@hyperpolymathhyperpolymath
opened #186
fix/license-spdx-restore
Status Success
Total duration 11m 9s
Artifacts –

agda.yml

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