feat: PR name + error proof

AztecProtocol · Nov 27, 2023 · c19ee17 · c19ee17
1 parent 2bc20d1
commit c19ee17
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/mirror_noir_subrepo.yml b/.github/workflows/mirror_noir_subrepo.yml
@@ -50,10 +50,11 @@ jobs:
           repository: noir-lang/noir
           token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }}
       - name: Create PR for Aztec Branch
+        continue-on-error: true
         uses: repo-sync/pull-request@v2
         with:
           github_token: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }}
           pr_title: 'feat: aztec-packages'
-          pr_body: 'Change this to a description of the body of changes.'
+          pr_body: 'Development from Aztec.'
           destination_branch: 'master'
           source_branch: 'aztec'