Bump actions/checkout from 6 to 7 (#108)

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

.github/workflows/Export.yml

@@ -18,7 +18,7 @@ jobs:
         runs-on: ubuntu-24.04
         steps:
             - name: Checkout
-              uses: actions/checkout@v6
+              uses: actions/checkout@v7
 
             - name: Install Julia
               uses: julia-actions/setup-julia@v3

.github/workflows/UpdatePluto.yml

@@ -16,7 +16,7 @@ jobs:
     trigger:
         runs-on: ubuntu-latest
         steps:
-            - uses: actions/checkout@v6
+            - uses: actions/checkout@v7
               # We use that PAT token instead of GITHUB_TOKEN because we are triggering another github action on the commit event.
               # Triggering a workflow from a workflow is only allowed if the relaying event is signed with a PAT.
               # See https://docs.github.com/en/actions/reference/events-that-trigger-workflows#triggering-new-workflows-using-a-personal-access-token