Skip to content
Agda

docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO… #755

Sign in to view logs

docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO…

docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO… #755

Triggered via push June 16, 2026 10:40
@hyperpolymathhyperpolymath
pushed 84daa83
main
Status Success
Total duration 11m 3s
Artifacts –

agda.yml

on: push
check
1m 51s
check
cold-check
10m 58s
cold-check
Fit to window
Zoom out
Zoom in