diff --git a/ci/ada.yml b/ci/ada.yml new file mode 100644 index 0000000..c2d49b8 --- /dev/null +++ b/ci/ada.yml @@ -0,0 +1,24 @@ +name: Ada (GNAT) + +on: + push: + branches: [ master ] + pull_request: + branches: [ master ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - name: Checkout + uses: actions/checkout@v2 + + - name: Set up GNAT toolchain + run: > + sudo apt-get update && + sudo apt-get install gnat gprbuild + + - name: Build + run: gprbuild -j0 -p diff --git a/ci/properties/ada.properties.json b/ci/properties/ada.properties.json new file mode 100644 index 0000000..f41c3b1 --- /dev/null +++ b/ci/properties/ada.properties.json @@ -0,0 +1,6 @@ +{ + "name": "Ada", + "description": "Build and test an Ada project with GPRbuild.", + "iconName": "ada", + "categories": ["Ada"] +} diff --git a/icons/ada.svg b/icons/ada.svg new file mode 100644 index 0000000..4ed301b --- /dev/null +++ b/icons/ada.svg @@ -0,0 +1,709 @@ + + + +image/svg+xml \ No newline at end of file