Merge pull request #16 from model-checking/dependabot/github_actions/actions/checkout-6

Bump actions/checkout from 2 to 6

Author: tautschnig

.github/workflows/publish.yaml

@@ -6,7 +6,7 @@ jobs:
     runs-on: macos-latest
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v2
+        uses: actions/checkout@v6
 
       - name: Install mdbook
         run: brew install mdbook

.github/workflows/release.yaml

@@ -41,7 +41,7 @@ jobs:
     steps:
 
       - name: Checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v6
 
       - name: Validate release and tagged version numbers
         # $GITHUB_REF is refs/tags/debugger-VERSION