mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-11-28 11:05:17 +03:00
.. | ||
ci-api.yml | ||
ci-macos.yml | ||
ci-ubuntu-racket.yml | ||
ci-ubuntu.yml | ||
ci-windows.yml |
.. | ||
ci-api.yml | ||
ci-macos.yml | ||
ci-ubuntu-racket.yml | ||
ci-ubuntu.yml | ||
ci-windows.yml |