[chore] Update github actions with new repo structure

CQCL · Jul 22, 2024 · 493ee56 · 493ee56
1 parent 4f37947
commit 493ee56
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -13,7 +13,7 @@ jobs:
 
     defaults:
       run:
-        working-directory: src/
+        working-directory: brat/
 
     steps:
     - uses: actions/checkout@v4
@@ -34,7 +34,7 @@ jobs:
           hugr_validator/target/deps
           hugr_validator/target/build
         # best effort for cache: tie it to Stack resolver and package config
-        key: ${{ runner.os }}-stack-${{ hashFiles('src/stack.yaml', 'hugr_validator/Cargo.toml') }}
+        key: ${{ runner.os }}-stack-${{ hashFiles('brat/stack.yaml', 'hugr_validator/Cargo.toml') }}
         restore-keys: |
           ${{ runner.os }}-stack
         save-always: true

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -13,7 +13,7 @@ jobs:
 
     defaults:
       run:
-        working-directory: src/
+        working-directory: brat/
 
     steps:
     - uses: actions/checkout@v2