Merge pull request #532 from ANGSD/master

[chore] Merge master to branch
ANGSD · Oct 12, 2022 · a3c1d78 · a3c1d78
2 parents b02c4f5 + d6e00d6
commit a3c1d78
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/build-tests.yml b/.github/workflows/build-tests.yml
@@ -5,6 +5,11 @@ on:
     branches: [ master, develop ]
   pull_request:
     branches: [ master ]
+  workflow_dispatch:
+    inputs:
+      git-ref:
+        description: Git SHA-1 commit hash (optional)
+        required: false
 
 jobs:
 
@@ -16,7 +21,7 @@ jobs:
         compiler: [ clang, gcc ]
 
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - name: Install dependencies    
       run: |
         sudo apt-get update;sudo apt-get install -y libbz2-dev liblzma-dev libcurl4-openssl-dev