Agda

docs(readme): add SPDX header, OSSF and GWF badges #170

Sign in to view logs

Triggered via push April 27, 2026 12:47

main

Status Success

Total duration 1h 5m 12s

Artifacts –

agda.yml

on: push