Merge pull request #28 from wtsi-hgi/main-merge

Merge main commits from develop back to develop. Make CI run on PRs against develop.
wtsi-hgi · Sep 26, 2023 · 2ec5bf1 · 2ec5bf1
2 parents 6321d7d + efd268e
commit 2ec5bf1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml
@@ -8,7 +8,7 @@ on:
   push:
     branches: [ main ]
   pull_request:
-    branches: [ main ]
+    branches: [ main, develop ]
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
@@ -60,7 +60,7 @@ jobs:
         uses: actions/checkout@v3
         with:
           repository: spack/spack
-          ref: 0707ffd4e466402bf19dff1add59eaf2b6d9154e
+          ref: e8658d6493887ef702dd38f0e9ee5870a1651c1e
           path: spack
 
       - name: Update PATH