Debug CI

Signed-off-by: Kakadu <Kakadu@pm.me>
PLTools · Jul 30, 2024 · 0bedb89 · 0bedb89
1 parent 10e5fa7
commit 0bedb89
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 7 deletions.
diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
@@ -37,12 +37,15 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
 
-      - run: sudo apt update
+      - run: |
+          sudo apt-get update
+          sudo apt-get install pkg-config libpcre2-dev m4 -y
       - run: opam --version
 
       - run: |
           git config --global --add safe.directory /__w/GT/GT
           git submodule update --init
+        if: false
       - run: opam pin add GT . --no-action
       - run: opam depext GT --yes #--with-test
 

diff --git a/.github/workflows/master52.yml b/.github/workflows/master52.yml
@@ -22,22 +22,24 @@ jobs:
       matrix:
         os:
           - ubuntu-latest
+    concurrency:
+      group: ${{ github.workflow }}-${{ github.ref }}
+      cancel-in-progress: true
 
     runs-on: ${{ matrix.os }}
     container:
       image: ocaml/opam:ubuntu-lts-ocaml-5.2
       options: --user root               # dirty hack
 
     steps:
-      - name: Cancel Previous Runs
-        uses: styfle/cancel-workflow-action@0.12.1
-        with:
-          access_token: ${{ github.token }}
-
       - name: Checkout code
         uses: actions/checkout@v4
+        with:
+          fetch-depth: 1
 
-      - run: sudo apt-get update
+      - run: |
+          sudo apt-get update
+          sudo apt-get install pkg-config libpcre2-dev m4 -y
       - run: opam --version
 
       - name: Update submodules