Skip to content
Agda

chore(ci): SPDX headers on line 1 and Actions lockfile minted #893

Sign in to view logs

chore(ci): SPDX headers on line 1 and Actions lockfile minted

chore(ci): SPDX headers on line 1 and Actions lockfile minted #893

Triggered via pull request August 7, 2026 12:23
@hyperpolymathhyperpolymath
synchronize #301
chore/ci-hygiene-lockfile-spdx
Status Success
Total duration 13m 9s
Artifacts –

agda.yml

on: pull_request
check
1m 48s
check
cold-check
12m 3s
cold-check
Fit to window
Zoom out
Zoom in