chore: just trigger ci

op-rs · Nov 1, 2024 · 9b5c3b6 · 9b5c3b6
1 parent 85b1c88
commit 9b5c3b6
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/.github/workflows/monorepo_pin_update.yaml b/.github/workflows/monorepo_pin_update.yaml
@@ -14,10 +14,10 @@ jobs:
       - uses: actions/checkout@v4
         with:
           submodules: true
-          token: ${{ secrets.GITHUB_TOKEN }} 
+          token: ${{ secrets.GITHUB_TOKEN }}
       - uses: taiki-e/install-action@just
       - uses: dtolnay/rust-toolchain@stable
-      - name: Update Monorepo Commit 
+      - name: Update Monorepo Commit
         run: just update-monorepo
       - name: Create Pull Request
         id: cpr
@@ -32,10 +32,12 @@ jobs:
           title: '[BOT] Update Monorepo'
           body: |
             ### Description
-            
+
             Automated PR to update the monorepo commit.
           labels: |
             A-ci
             C-bot
           assignees: refcell
           draft: false
+      - name: Trigger CI Runs
+        run: just trigger
diff --git a/justfile b/justfile
@@ -158,3 +158,8 @@ monorepo:
 update-monorepo:
   [ ! -d monorepo ] && git clone https://github.com/ethereum-optimism/monorepo
   cd monorepo && git rev-parse HEAD > ../.monorepo
+
+# Force pushes an empty commit to the git branch to trigger CI
+trigger:
+  git commit --amend --no-edit
+  git push --force-with-lease