This action sets up a Ada/SPARK environment for use in GitHub actions.
See action.yml
Basic:
steps:
- uses: actions/checkout@master
- uses: Fabien-Chouteau/setup-ada@dev
with:
distrib: fsf
target: native
- run: gprbuild hello
- uses: Fabien-Chouteau/setup-ada@dev
with:
distrib: community
target: arm-elf
- run: gprbuild --target=arm-eabi --RTS=zfp-microbit hello
The scripts and documentation in this project are released under the MIT License
Contributions are welcome! See Contributor's Guide