Merge pull request #539 from sfc-aqua/dependabot/github_actions/actio…

…ns/checkout-4

Bump actions/checkout from 3 to 4

.github/workflows/doc.yml

@@ -7,7 +7,7 @@ jobs:
   all:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Generate doxygen
         uses: mattnotmitt/doxygen-action@v1
       - name: Deploy to github pages

.github/workflows/main.yml

@@ -12,7 +12,7 @@ jobs:
       - name: work around permission issue
         run: git config --global --add safe.directory /__w/quisp/quisp
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: make eigen
         run: make eigen
       - name: generate makefile
@@ -43,7 +43,7 @@ jobs:
       - name: work around permission issue
         run: git config --global --add safe.directory /__w/quisp/quisp
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Install python dependencies for simulation tests
         run: pip install -r requirements.txt
       - name: doctest for simulation test utils
@@ -65,7 +65,7 @@ jobs:
       - name: work around permission issue
         run: git config --global --add safe.directory /__w/quisp/quisp
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: make eigen
         run: make eigen
       - name: generate makefile
@@ -87,7 +87,7 @@ jobs:
       - name: work around permission issue
         run: git config --global --add safe.directory /__w/quisp/quisp
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: make eigen
         run: make eigen
       - name: generate makefile
@@ -109,7 +109,7 @@ jobs:
       - name: work around permission issue
         run: git config --global --add safe.directory /__w/quisp/quisp
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: generate makefile
         run: make makefile-lib
       - name: generate message headers

.github/workflows/wasm.yml

@@ -7,7 +7,7 @@ jobs:
       - name: work around permission issue
         run: git config --global --add safe.directory /__w/quisp/quisp
       - name: Check out repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           submodules: true
       - name: wasm build
@@ -27,7 +27,7 @@ jobs:
     runs-on: ubuntu-latest
     if: ${{ github.event_name == 'push' && (github.ref == 'refs/heads/master' || startsWith(github.ref, 'refs/tags/') || startsWith(github.ref, 'refs/heads/demo-')) }}
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           repository: 'sfc-aqua/quisp-online'
       - uses: actions/download-artifact@v3