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

Visitar URL original

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

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
ci-bootstrap.yml		ci-bootstrap.yml
ci-idris2-and-libs.yml		ci-idris2-and-libs.yml
ci-lint.yml		ci-lint.yml
ci-sphinx.yml		ci-sphinx.yml
ci-super-linter.yml		ci-super-linter.yml