.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

machines/compute01/ds-fr/default.nix

@@ -1,14 +1,7 @@
-{
-  config,
-  pkgs,
-  sources,
-  ...
-}:
+{ config, ... }:
 
 let
   host = "demarches.dgnum.eu";
-
-  dgn-id = "fca8f72cd60c00e74d7735ec13e4e3a22e8e1244";
 in
 {
   imports = [ ./module.nix ];
@@ -18,18 +11,6 @@ in
   services.demarches-simplifiees = {
     enable = true;
 
-    package =
-      ((import sources.nix-pkgs { inherit pkgs; }).demarches-simplifiees.override {
-        initialDeploymentDate = "20230923";
-      }).overrideAttrs
-        (old: {
-          dsModules = old.dsModules.overrideAttrs {
-            prePatch = ''
-              ${pkgs.lib.getExe pkgs.git} apply -p1 < ${builtins.fetchurl "https://git.dgnum.eu/DGNum/demarches-normaliennes/commit/${dgn-id}.patch"}
-            '';
-          };
-        });
-
     secretFile = config.age.secrets."ds-fr-secret_file".path;
 
     initialDeploymentDate = "20230923";

npins/sources.json

@@ -240,9 +240,9 @@
         "url": "https://git.hubrecht.ovh/hubrecht/nix-pkgs"
       },
       "branch": "main",
-      "revision": "0a4b564221481b5c40a677f8bfd5760f7b3398f8",
+      "revision": "e27e07f9c03a3bc756f9447a2288ca6f14130ffc",
       "url": null,
-      "hash": "121fqmr1jvsnnc5marvnsj3ic0w9f11lq3sx9ly197kc5rc1naj3"
+      "hash": "06vydk09wniygpy04yjh07g9raswimhwwfj1cysigx2lxrg0997a"
     },
     "nixos-24.05": {
       "type": "Channel",