Updating GHES workflows

2024-04-25 16:52:34 +00:00
parent 60cf90b26e
commit 724ffe54b7
32 changed files with 34 additions and 34 deletions
@@ -13,7 +13,7 @@ jobs:

    steps:
    - name: Checkout
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4

    - name: Set up GNAT toolchain
      run: >