upgrade action versions

.github/workflows/toolchain.yaml

@@ -1,4 +1,4 @@
-name: toolchain.yaml
+name: Build Docker toolchain image
 on:
   push:
     paths:
@@ -23,20 +23,21 @@ jobs:
       - name: Disk usage after freeing up space
         run: df -h
       # Actually build the Docker container
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
+
       - uses: docker/setup-buildx-action@v1
 
       - name: GHCR Log-in
-        uses: docker/login-action@v1
+        uses: docker/login-action@v3.3.0
         with:
           registry: ghcr.io
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Build and push
-        uses: docker/build-push-action@v2
+        uses: docker/build-push-action@v5.3.0
         with:
           context: ${{github.workspace}}/runtime/toolchain/
           file: ${{github.workspace}}/runtime/toolchain/Dockerfile
           push: true
-          tags: ghcr.io/opencompl/Quidditch/toolchain:${{ github.ref_name }}
+          tags: ghcr.io/opencompl/quidditch/toolchain:${{ github.ref_name }}