Merge branch 'main' into quantifiers

Author: tautschnig

.github/workflows/cbmc-update.yml

@@ -75,7 +75,7 @@ jobs:
             Upgrade CBMC to its latest release.
 
       - name: Create Issue
-        if: ${{ env.next_step == 'create_issue' }}
+        if: ${{ env.next_step == 'create_issue' && github.repository_owner == 'model-checking' }}
         uses: dacbd/create-issue-action@main
         with:
           token: ${{ github.token }}

.github/workflows/format-check.yml

@@ -48,6 +48,7 @@ jobs:
       - name: 'Run Clippy'
         run: |
           cargo clippy --workspace -- -D warnings
+          RUSTFLAGS="--cfg=kani_sysroot" cargo clippy --workspace -- -D warnings
 
       - name: 'Print Clippy Statistics'
         run: |

.github/workflows/toolchain-upgrade.yml

@@ -68,7 +68,7 @@ jobs:
             })
 
       - name: Create Issue
-        if: ${{ env.next_step == 'create_issue' }}
+        if: ${{ env.next_step == 'create_issue' && github.repository_owner == 'model-checking' }}
         uses: dacbd/create-issue-action@main
         with:
           token: ${{ github.token }}