Merge pull request #29 from diffblue/dependabot/github_actions/actions/checkout-7

Bump actions/checkout from 6 to 7

Author: tautschnig

.github/workflows/add-formula.yml

@@ -15,7 +15,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v6
+        uses: actions/checkout@v7
 
       - name: Obtain latest CBMC release
         env: