Sandbox::https://github.com/idris-lang/Idris2/tree/main/.github

Visitar URL original

Idris2/.github at main · idris-lang/Idris2 · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
ISSUE_TEMPLATE		ISSUE_TEMPLATE
linters		linters
scripts		scripts
workflows		workflows
pull_request_template.md		pull_request_template.md