add more gccarch flags to machines

config/nix.nix

@@ -5,7 +5,8 @@
   system,
   attic,
   ...
-}: {
+}:
+{
   imports = [
     ./workarounds
   ];
@@ -13,7 +14,10 @@
   nix = {
     settings = {
       sandbox = true;
-      trusted-users = ["@wheel" "remote-build"];
+      trusted-users = [
+        "@wheel"
+        "remote-build"
+      ];
       require-sigs = true;
       substituters = [
         "https://attic.chir.rs/chir-rs/"
@@ -34,7 +38,8 @@
       dates = "weekly";
       options = "--delete-older-than 7d";
     };
-    buildMachines = with lib;
+    buildMachines =
+      with lib;
       mkMerge [
         (mkIf (config.networking.hostName != "instance-20221213-1915") [
           {
@@ -46,7 +51,15 @@
             ];
             maxJobs = 4;
             speedFactor = 1;
-            supportedFeatures = ["nixos-test" "benchmark" "ca-derivations" "gccarch-armv8-a" "gccarch-armv8.1-a" "gccarch-armv8.2-a" "big-parallel"];
+            supportedFeatures = [
+              "nixos-test"
+              "benchmark"
+              "ca-derivations"
+              "gccarch-armv8-a"
+              "gccarch-armv8.1-a"
+              "gccarch-armv8.2-a"
+              "big-parallel"
+            ];
           }
         ])
         (mkIf (config.networking.hostName != "nas") [
@@ -98,6 +111,7 @@
               "big-parallel"
               "benchmark"
               "gccarch-skylake-avx512"
+              "gccarch-znver4"
               "gccarch-znver3"
               "gccarch-znver2"
               "gccarch-znver1"
@@ -161,9 +175,7 @@
       #!${pkgs.bash}/bin/bash
       set -ex
       builds=$(${pkgs.curl}/bin/curl -H 'accept: application/json' https://hydra.int.chir.rs/jobset/flakes/${
-        if config.networking.hostName != "vf2"
+        if config.networking.hostName != "vf2" then "nixos-config" else "nixos-config-riscv"
-        then "nixos-config"
-        else "nixos-config-riscv"
       }/evals | ${pkgs.jq}/bin/jq -r '.evals[0].builds[]')
       for build in $builds; do
           doc=$(${pkgs.curl}/bin/curl -H 'accept: application/json' https://hydra.int.chir.rs/build/$build)
@@ -175,31 +187,32 @@
               ${pkgs.nix}/bin/nix-env -p /nix/var/nix/profiles/system --set $output
 
               ${
-        if config.networking.hostName != "nixos-8gb-fsn1-1"
+                if config.networking.hostName != "nixos-8gb-fsn1-1" then
-        then ''
+                  ''
-          $output/bin/switch-to-configuration boot
+                    $output/bin/switch-to-configuration boot
-          booted="$(${pkgs.coreutils}/bin/readlink /run/booted-system/{initrd,kernel,kernel-modules})"
+                    booted="$(${pkgs.coreutils}/bin/readlink /run/booted-system/{initrd,kernel,kernel-modules})"
-          built="$(${pkgs.coreutils}/bin/readlink $output/{initrd,kernel,kernel-modules})"
+                    built="$(${pkgs.coreutils}/bin/readlink $output/{initrd,kernel,kernel-modules})"
-          if [ "$booted" = "$built" ]; then
+                    if [ "$booted" = "$built" ]; then
-              $output/bin/switch-to-configuration switch
+                        $output/bin/switch-to-configuration switch
-          else
+                    else
-              ${pkgs.systemd}/bin/shutdown -r +1
+                        ${pkgs.systemd}/bin/shutdown -r +1
-          fi
+                    fi
-          exit
+                    exit
-        ''
+                  ''
-        else "$output/bin/switch-to-configuration switch"
+                else
-      }
+                  "$output/bin/switch-to-configuration switch"
+              }
           fi
       done
     '';
-    after = ["network-online.target"];
+    after = [ "network-online.target" ];
-    wants = ["network-online.target"];
+    wants = [ "network-online.target" ];
   };
   systemd.timers.nixos-upgrade = {
     enable = true;
     description = "Automatically update nixos";
-    requires = ["nixos-upgrade.service"];
+    requires = [ "nixos-upgrade.service" ];
-    wantedBy = ["multi-user.target"];
+    wantedBy = [ "multi-user.target" ];
     timerConfig = {
       OnUnitActiveSec = "30min";
       RandomizedDelaySec = "1h";