add PR variation for linux/ubuntu

davidjenni · Jan 22, 2024 · 3164e18 · 3164e18
1 parent b8e6b96
commit 3164e18
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/PR.yml b/.github/workflows/PR.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ${{ matrix.os }}
     strategy:
       matrix:
-        os: [ windows-latest, macos-latest ]
+        os: [ windows-latest, macos-latest, ubuntu-latest ]
 
     steps:
     - uses: actions/checkout@v3
@@ -25,7 +25,7 @@ jobs:
         ./bootstrap.ps1 setup -runAsAdmin
 
     - name: Run bootstrap.sh script from PR branch;
-      if: matrix.os == 'macos-latest'
+      if: matrix.os == 'macos-latest' || matrix.os == 'ubuntu-latest'
       shell: bash
       run: |
         echo "skip bootstrap's repo 'clone' stage (already have correct script), start with 'setup'"