Remove extra whitespaces

2022-11-04 20:45:41 +01:00
parent 9a49c6d8fe
commit 0b50b4b579
56 changed files with 140 additions and 141 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