chore: bump workflow versions because newer treefmt fails on EOF linebreak

The motivation was that treefmt failed in CI because it insists that GitHub
Actions files must end with a linebreak. Since several actions can be bumped,
this is an excuse to do so.

Author: sshine

.github/workflows/check.yml

@@ -4,7 +4,9 @@ jobs:
   checker:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v4
-      - uses: cachix/install-nix-action@v24
-      - name: run check
-        run: nix run .#check
+      - uses: actions/checkout@v5
+
+      - uses: cachix/install-nix-action@v31
+
+      - name: nix run .#check
+        run: nix run .#check