GitHub repository: mosteo/toolchain
Description: GitHub action to setup an Ada/SPARK dev environment