Skip to content

Merge pull request #1 from admin841728/admin841728-patch-1 #3

Merge pull request #1 from admin841728/admin841728-patch-1

Merge pull request #1 from admin841728/admin841728-patch-1 #3

Workflow file for this run

name: Ada (GNAT)
on:
push:
branches: [ "master" ]
pull_request:
branches: [ "master" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Set up GNAT toolchain
run: >
sudo apt-get update &&
sudo apt-get install gnat gprbuild
- name: Build
run: gprbuild -j0 -p