Updating GHES workflows

2022-11-10 13:45:36 +00:00
parent 92e51bbc9a
commit 08abd1ed14
10 changed files with 21 additions and 21 deletions
@@ -17,7 +17,7 @@ jobs:

    - name: Set up GNAT toolchain
      run: >
-        sudo apt-get update && 
+        sudo apt-get update &&
        sudo apt-get install gnat gprbuild

    - name: Build