[Draft] Deeper integration with Agda: foundational work #115
This workflow is awaiting approval from a maintainer in #41
Triggered via pull request
November 23, 2025 15:20
nvarner
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #41
test.yaml
on: pull_request