https://github.com/ada-actions/toolchain
JavaScript19
2 years ago
GitHub action to setup an Ada/SPARK dev environment
MIT License