chore(workflows): regenerate

.forgejo/workflows/check-meta.yaml

@@ -12,7 +12,7 @@ jobs:
     - name: Check the validity of meta options
       run: nix-build meta/verify.nix -A meta
 name: Check meta
-'on':
+on:
   pull_request:
     branches:
     - main

.forgejo/workflows/check-workflows.yaml

@@ -7,7 +7,7 @@ jobs:
       run: nix-shell -A check-workflows --run '[ $(git status --porcelain | wc -l)
         -eq 0 ]'
 name: Check workflows
-'on':
+on:
   pull_request:
     branches:
     - main

.forgejo/workflows/eval-nodes.yaml

@@ -110,7 +110,7 @@ jobs:
       name: Build and cache web03
       run: nix-shell -A eval-nodes --run cache-node
 name: Build all the nodes
-'on':
+on:
   pull_request:
     branches:
     - main

.forgejo/workflows/npins-update.yaml

@@ -7,19 +7,19 @@ jobs:
         depth: 0
         token: ${{ secrets.TEA_DGNUM_CHORES_TOKEN }}
     - name: Update dependencies and open PR if necessary
-      run: "npins update\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n  echo\
-        \ \"[+] Changes detected, pushing updates.\"\n\n  git switch -C npins-update\n\
-        \n  git add npins\n\n  git config user.name \"DGNum Chores\"\n  git config\
-        \ user.email \"tech@dgnum.eu\"\n\n  git commit --message \"chore(npins): Update\"\
-        \n  git push --set-upstream origin npins-update --force\n\n  # Connect to\
-        \ the server with the cli\n  tea login add \\\n    -n dgnum-chores \\\n  \
-        \  -t \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" \\\n    -u https://git.dgnum.eu\n\
-        \n  # Create a pull request if needed\n  # i.e. no PR with the same title\
-        \ exists\n  if [ -z \"$(tea pr ls -f='title,author' -o simple | grep 'chore(npins):\
-        \ Update dgnum-chores')\" ]; then\n    tea pr create \\\n      --description\
-        \ \"Automatic npins update\" \\\n      --title \"chore(npins): Update\" \\\
-        \n      --head npins-update\n  fi\nfi\n"
+      run: "npins update\n\nif [ ! -z \"$(git diff --name-only)\" ]; then\n  echo
+        \"[+] Changes detected, pushing updates.\"\n\n  git switch -C npins-update\n\
+        \n  git add npins\n\n  git config user.name \"DGNum Chores\"\n  git config
+        user.email \"tech@dgnum.eu\"\n\n  git commit --message \"chore(npins): Update\"\
+        \n  git push --set-upstream origin npins-update --force\n\n  # Connect to
+        the server with the cli\n  tea login add \\\n    -n dgnum-chores \\\n    -t
+        \"${{ secrets.TEA_DGNUM_CHORES_TOKEN }}\" \\\n    -u https://git.dgnum.eu\n\
+        \n  # Create a pull request if needed\n  # i.e. no PR with the same title
+        exists\n  if [ -z \"$(tea pr ls -f='title,author' -o simple | grep 'chore(npins):
+        Update dgnum-chores')\" ]; then\n    tea pr create \\\n      --description
+        \"Automatic npins update\" \\\n      --title \"chore(npins): Update\" \\\n\
+        \      --head npins-update\n  fi\nfi\n"
 name: npins update
-'on':
+on:
   schedule:
   - cron: 25 15 * * *

.forgejo/workflows/pre-commit.yaml

@@ -7,6 +7,6 @@ jobs:
       run: nix-shell -A pre-commit --run 'pre-commit run --all-files --hook-stage
         pre-push --show-diff-on-failure'
 name: Run pre-commit on all files
-'on':
+on:
 - push
 - pull_request