diff --git a/.github/workflows/ada.yml b/.github/workflows/ada.yml index c12cf47..4f3a32a 100644 --- a/.github/workflows/ada.yml +++ b/.github/workflows/ada.yml @@ -21,4 +21,4 @@ jobs: sudo apt-get install gnat gprbuild - name: Build - run: gprbuild -j0 -p + run: gprbuild -P gt8_patch.gpr