Fixing CI

Signed-off-by: Kakadu <[email protected]>
PLTools · Feb 13, 2024 · 210f342 · 210f342
1 parent daa981f
commit 210f342
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -12,7 +12,7 @@ on:
 
 env:
   OPAMROOT: /home/opam/.opam
-  OPAMYES: true
+  OPAMCONFIRMLEVEL: unsafe-yes
   GT_WITH_DOCS: yes
 
 jobs:
@@ -30,12 +30,14 @@ jobs:
 
     steps:
       - name: Cancel Previous Runs
-        uses: styfle/cancel-workflow-action@0.11.0
+        uses: styfle/cancel-workflow-action@0.12.1
         with:
           access_token: ${{ github.token }}
 
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
+
+      - run: sudo apt update
 
       - run: |
           git config --global --add safe.directory /__w/GT/GT