fix: mirror_noir_subrepo.yml erroring (#3954)

AztecProtocol · Jan 11, 2024 · 2ac1b9c · 2ac1b9c
1 parent 7002a33
commit 2ac1b9c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/mirror_noir_subrepo.yml b/.github/workflows/mirror_noir_subrepo.yml
@@ -41,6 +41,9 @@ jobs:
           if ./scripts/git_subrepo.sh push $SUBREPO_PATH --branch=$BRANCH; then
             git commit --amend -m "$(git log -1 --pretty=%B) [skip ci]"
             git push
+          else
+            echo "Problems syncing noir. We may need to pull the subrepo."
+            exit 1
           fi
 
       - name: Checkout