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