Language Policy Enforcement

ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) #303

Sign in to view logs

Triggered via push July 7, 2026 10:24

main

Status Success

Total duration 10s

Artifacts –

language-policy.yml

on: push