search

wenkokke / setup-agda

Set up a specific version of Agda for your GitHub Actions workflow.
Other
26 stars 3 forks source link

[pre-commit.ci] pre-commit autoupdate #195

Closed pre-commit-ci[bot] closed 12 months ago

pre-commit-ci[bot] commented 12 months ago

updates: