Do not run PR/issue-creating workflows in forks (model-checking#4357)

Avoid spamming forks with spurious pull requests that will only ever be
merged in the primary repository.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: tautschnig

.github/workflows/cargo-update.yml

@@ -15,6 +15,10 @@ permissions:
 
 jobs:
   create-cargo-update-pr:
+    # This workflow is restricted to the main repository (model-checking/kani) to prevent
+    # unnecessary PRs being created in forks. The cargo update action should only run in
+    # the main repository context.
+    if: github.repository == 'model-checking/kani'
     runs-on: ubuntu-22.04
     steps:
       - name: Checkout Kani

.github/workflows/cbmc-update.yml

@@ -15,7 +15,11 @@ permissions:
   pull-requests: write
 
 jobs:
-  create-cargo-update-pr:
+  create-cbmc-update-pr:
+    # This workflow is restricted to the main repository (model-checking/kani) to prevent
+    # unnecessary PRs being created in forks. The CBMC update action should only run in
+    # the main repository context.
+    if: github.repository == 'model-checking/kani'
     runs-on: ubuntu-22.04
     steps:
       - name: Checkout Kani
@@ -75,7 +79,7 @@ jobs:
             Upgrade CBMC to its latest release.
 
       - name: Create Issue
-        if: ${{ env.next_step == 'create_issue' && github.repository_owner == 'model-checking' }}
+        if: ${{ env.next_step == 'create_issue' }}
         uses: dacbd/create-issue-action@main
         with:
           token: ${{ github.token }}

.github/workflows/toolchain-upgrade.yml

@@ -16,6 +16,10 @@ permissions:
 
 jobs:
   create-toolchain-pr:
+    # This workflow is restricted to the main repository (model-checking/kani) to prevent
+    # unnecessary PRs being created in forks. The toolchain upgrade action should only run in
+    # the main repository context.
+    if: github.repository == 'model-checking/kani'
     runs-on: ubuntu-22.04
     steps:
       - name: Checkout Kani
@@ -68,7 +72,7 @@ jobs:
             })
 
       - name: Create Issue
-        if: ${{ env.next_step == 'create_issue' && github.repository_owner == 'model-checking' }}
+        if: ${{ env.next_step == 'create_issue' }}
         uses: dacbd/create-issue-action@main
         with:
           token: ${{ github.token }}