Merge pull request #24 from diffblue/dependabot/github_actions/actions/checkout-6

Bump actions/checkout from 5 to 6

Author: tautschnig

.github/workflows/add-formula.yml

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