Merge pull request #20 from diffblue/dependabot/github_actions/actions/checkout-5

Bump actions/checkout from 4 to 5

Author: tautschnig

.github/workflows/add-formula.yml

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