ci: exclude PRs from issue search, sanitize vulnix descriptions for markdown tables

Co-authored-by: Autumn Liu <al63244@my.utexas.edu>
Co-authored-by: Floweynt <50057682+Floweynt@users.noreply.github.com>
Reviewed-on: #1
Co-authored-by: autumn <aut.tea7@gmail.com>

.github/workflows/lint.yml

@@ -19,18 +19,18 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
-      - name: pick reporter
-        run: |
-          if [ "${{ github.event_name }}" = pull_request ]; then
-            echo "REPORTER=gitea-pr-review" >> "$GITHUB_ENV"
-          else
-            echo "REPORTER=local" >> "$GITHUB_ENV"
-          fi
-
       - name: run linters
         run: nix run -L .#ci -- lint . "$RUNNER_TEMP/findings"
 
       - name: report findings
+        if: always()
         env:
-          REVIEWDOG_GITHUB_API_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        run: nix run -L .#ci -- lint-report "$REPORTER" "$RUNNER_TEMP/findings"
+          REVIEWDOG_GITEA_API_TOKEN: ${{ secrets.GITEA_TOKEN }}
+          GITEA_ADDRESS: ${{ github.server_url }}
+        run: |
+          if [ "${{ github.event_name }}" = pull_request ]; then
+            nix run -L .#ci -- lint-report gitea-pr-review "$RUNNER_TEMP/findings"
+          else
+            nix run -L .#ci -- lint-summary "$RUNNER_TEMP/findings" \
+              | tee -a "$GITHUB_STEP_SUMMARY"
+          fi

.github/workflows/vulnix.yml

@@ -5,10 +5,6 @@ on:
     - cron: "0 6 * * 1"
   workflow_dispatch:
 
-permissions:
-  contents: read
-  issues: write
-
 jobs:
   scan:
     runs-on: nix
@@ -25,7 +21,7 @@ jobs:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           API: ${{ github.api_url }}
           REPO: ${{ github.repository }}
-        run: nix run -L .#ci -- upsert-issue vulnix "vulnix: known vulnerabilities in system closure" "$RUNNER_TEMP/issue.md"
+        run: 'nix run -L .#ci -- upsert-issue vulnix "vulnix: known vulnerabilities in system closure" "$RUNNER_TEMP/issue.md"'
 
       - name: close resolved issue
         if: steps.scan.outputs.count == '0'

ci.nix

@@ -1,9 +1,17 @@
 { lib, pkgs }:
+let
+  # vulnix's bundled nix-2.34 broke its own --experimental-features detection
+  nixConf = pkgs.writeText "ci-nix.conf" "experimental-features = nix-command flakes";
+in
 # tools must track ci.py's subprocess calls; nix stays ambient (uses the
 # runner's own nix, not a pinned one).
 pkgs.writers.writePython3Bin "ci" {
   flakeIgnore = [ "E501" ];
+  libraries = [ pkgs.python3Packages.subprocess-tee ];
   makeWrapperArgs = [
+    "--set-default"
+    "NIX_USER_CONF_FILES"
+    (toString nixConf)
     "--prefix"
     "PATH"
     ":"

ci.py

@@ -6,6 +6,7 @@ import json
 import os
 import re
 import subprocess
+import subprocess_tee
 import sys
 import urllib.request
 from collections import Counter
@@ -17,7 +18,8 @@ def run(*args, **kw):
 
 
 def nix(*args):
-    return run("nix", "--extra-experimental-features", "nix-command flakes", "-L", *args, check=True, stdout=subprocess.PIPE).stdout
+    # tee to stderr - stdout leaks into GITHUB_OUTPUT $() captures
+    return subprocess_tee.run(("nix", "--extra-experimental-features", "nix-command flakes", "-L", *args), check=True, text=True, stdout=sys.stderr).stdout
 
 
 def git(*args, check=True):
@@ -31,13 +33,16 @@ def gitea(method, path, body=None):
     req.add_header("Authorization", f'token {os.environ["GH_TOKEN"]}')
     if data is not None:
         req.add_header("Content-Type", "application/json")
+    try:
         with urllib.request.urlopen(req) as resp:
             raw = resp.read()
+    except urllib.error.HTTPError as e:
+        sys.exit(f"gitea {method} {path}: {e.code} {e.reason}\n{e.read().decode()}")
     return json.loads(raw) if raw else None
 
 
 def find_open_issue(label):
-    issues = gitea("GET", f"/issues?state=open&labels={label}")
+    issues = gitea("GET", f"/issues?state=open&type=issues&labels={label}")
     return issues[0] if issues else None
 
 
@@ -234,7 +239,7 @@ def format_vulnix(vulns):
     for v in vulns:
         for cve in v["affected_by"]:
             score = v.get("cvssv3_basescore", {}).get(cve)
-            desc = v.get("description", {}).get(cve, "")
+            desc = v.get("description", {}).get(cve, "").replace("\n", " ").replace("|", "∣")
             if len(desc) > 120:
                 desc = desc[:117] + "..."
             rows.append((v["pname"], v["version"], cve, score, desc))
@@ -362,10 +367,63 @@ def lint_report(args):
 
     codes = [reviewdog(f"{args.dir}/{name}", flags)
              for name, flags in LINTERS
-             if os.path.getsize(f"{args.dir}/{name}") > 0]
+             if os.path.isfile(f"{args.dir}/{name}") and os.path.getsize(f"{args.dir}/{name}") > 0]
     sys.exit(1 if any(codes) else 0)
 
 
+def has_findings(path):
+    return os.path.isfile(path) and os.path.getsize(path) > 0
+
+
+def fmt_rdjsonl(path):
+    lines = []
+    with open(path) as f:
+        for raw in f:
+            rec = json.loads(raw)
+            loc = rec["location"]
+            r = loc.get("range", {}).get("start")
+            pos = f"{loc['path']}:{r['line']}:{r['column']}" if r else loc["path"]
+            lines.append(f"- `{pos}`: {rec['message']}")
+    return "\n".join(lines)
+
+
+def fmt_errfmt(path):
+    lines = []
+    with open(path) as f:
+        for raw in f:
+            parts = raw.strip().split(">", 1)
+            if len(parts) == 2:
+                lines.append(f"- `{parts[0]}:{parts[1].split(':', 3)[-1].strip()}`" if ":" in parts[1] else f"- `{raw.strip()}`")
+            elif raw.strip():
+                lines.append(f"- `{raw.strip()}`")
+    return "\n".join(lines)
+
+
+def lint_summary(args):
+    sections = []
+    d = args.dir
+
+    if has_findings(f"{d}/nixfmt.diff"):
+        with open(f"{d}/nixfmt.diff") as f:
+            sections.append(f"## nixfmt\n\n```diff\n{f.read().rstrip()}\n```")
+
+    if has_findings(f"{d}/statix.errfmt"):
+        sections.append(f"## statix\n\n{fmt_errfmt(f'{d}/statix.errfmt')}")
+
+    if has_findings(f"{d}/deadnix.rdjsonl"):
+        sections.append(f"## deadnix\n\n{fmt_rdjsonl(f'{d}/deadnix.rdjsonl')}")
+
+    if has_findings(f"{d}/cycles.rdjsonl"):
+        sections.append(f"## systemd ordering cycles\n\n{fmt_rdjsonl(f'{d}/cycles.rdjsonl')}")
+
+    if sections:
+        print("\n\n".join(["# Lint findings"] + sections))
+        sys.exit(1)
+    else:
+        print("No lint findings.")
+        sys.exit(0)
+
+
 def post_comment(args):
     body = args.marker + "\n" + Path(args.body_file).read_text()
     pr = os.environ["PR"]
@@ -438,6 +496,7 @@ def main():
     command("vulnix", vulnix, "ref", "body_out")
     command("lint", lint, "target", "out")
     command("lint-report", lint_report, "reporter", "dir")
+    command("lint-summary", lint_summary, "dir")
     command("post-comment", post_comment, "marker", "body_file")
     command("upsert-issue", upsert_issue, "label", "title", "body_file")
     command("close-issue", close_issue, "label")

containers/common/overseer.nix

@@ -381,6 +381,6 @@ let
         };
       };
     };
-  hostAddr = c.hostAddr;
+  inherit (c) hostAddr;
 in
 c

containers/server-n0/git.nix

@@ -55,7 +55,8 @@ in
     net.expose.tcp = [ 3000 ];
   };
 
-  ci-runner = mkVm {
+  ci-runner =
+    mkVm {
       name = "ci-runner";
       includedInTests = false;
       net.access = [
@@ -75,6 +76,12 @@ in
           source = "${ciRunnerData}/nix-rw-store";
           mountPoint = "/nix/.rw-store";
         }
+        {
+          proto = "virtiofs";
+          tag = "nix-db";
+          source = "${ciRunnerData}/nix-db";
+          mountPoint = "/nix/var/nix/db";
+        }
         {
           proto = "virtiofs";
           tag = "docker-data";
@@ -152,22 +159,33 @@ in
               "flakes"
             ];
             max-jobs = "auto";
+            substituters = [ "https://microvm.cachix.org" ];
+            trusted-public-keys = [ "microvm.cachix.org-1:oXnBc6hRE3eX5rSYdRyMYXnfzcCxC7yKPTbZXALsqys=" ];
           };
 
-        nix.gc = {
-          automatic = true;
-          dates = "daily";
-          options = "--delete-older-than 14d";
+          nix.settings = {
+            min-free = 5 * 1024 * 1024 * 1024;
+            max-free = 10 * 1024 * 1024 * 1024;
           };
           # nix.optimise.automatic = true; - doesn't work with microvm.writableStoreOverlay
 
+          services.openssh = {
+            enable = true;
+            settings = {
+              PermitRootLogin = "yes";
+              PermitEmptyPasswords = "yes";
+            };
+          };
+          users.users.root.initialHashedPassword = "";
           services.journald.extraConfig = "ForwardToConsole=yes";
 
           virtualisation.containerd.enable = true;
-        virtualisation.containerd.settings.plugins."io.containerd.snapshotter.v1.overlayfs".mount_options = [ "userxattr" ];
+          virtualisation.containerd.settings.plugins."io.containerd.snapshotter.v1.overlayfs".mount_options =
+            [ "userxattr" ];
 
           virtualisation.docker.enable = true;
           virtualisation.docker.extraOptions = "--containerd /run/containerd/containerd.sock";
+          virtualisation.docker.daemon.settings.exec-opts = [ "native.cgroupdriver=cgroupfs" ];
           systemd.services.docker.wants = [ "containerd.service" ];
           systemd.services.docker.after = [ "containerd.service" ];
 
@@ -201,5 +219,15 @@ in
             };
           };
         };
+    }
+    // {
+      hostConfig = {
+        systemd.tmpfiles.rules = [
+          "d ${ciRunnerData}/nix-rw-store 0755 server server -"
+          "d ${ciRunnerData}/nix-db 0755 server server -"
+          "d ${ciRunnerData}/docker 0755 server server -"
+          "d ${ciRunnerData}/runner-state 0755 server server -"
+        ];
+      };
     };
 }

containers/server-n0/nginx.nix

@@ -210,6 +210,6 @@ let
     };
     inherit (setup) containerConfig;
   };
-  hostAddr = c.hostAddr;
+  inherit (c) hostAddr;
 in
 c

containers/server-n0/ssh.nix

@@ -67,7 +67,10 @@ let
       inherit name;
       inherit net resources;
       svc.autoStart = true;
-      isolation = { nixDaemon = nixDaemon; } // isolation;
+      isolation = {
+        inherit nixDaemon;
+      }
+      // isolation;
       traits = [ sshTrait ] ++ traits;
       packages = with pkgs; [ tmux ] ++ packages;
       miscProperties = self._sshpiperRegister routingInfo;
@@ -77,8 +80,7 @@ let
     containerConfig =
       { pkgs, ... }:
       {
-        users.users.runner.extraGroups = [ "wheel" ];
-        security.sudo.wheelNeedsPassword = false;
+        users.users.runner.extraGroups = [ "kvm" ];
         environment.systemPackages = [ pkgs.qemu_kvm ];
       };
   };

dsl.nix

@@ -572,7 +572,10 @@ rec {
               Gateway = hostAddr;
             };
             networkConfig.DNS = [ hostAddr ];
-            networkConfig.Domains = [ "~." "containers" ];
+            networkConfig.Domains = [
+              "~."
+              "containers"
+            ];
             linkConfig.RequiredForOnline = if allowInternet then "routable" else "degraded";
           };
           networking.enableIPv6 = false;

flake.nix

@@ -129,11 +129,10 @@
     {
       nixosConfigurations = lib.mapAttrs (_: host: host.hostCfg) allHosts;
 
-      inspect = lib.mapAttrs
-        (name: host:
-          pkgs.writeText "inspect-${name}.json"
-            (builtins.toJSON (introspect.hostReport { inherit host; })))
-        allHosts;
+      inspect = lib.mapAttrs (
+        name: host:
+        pkgs.writeText "inspect-${name}.json" (builtins.toJSON (introspect.hostReport { inherit host; }))
+      ) allHosts;
 
       packages.${system} = customPkgs // {
         inherit ci;

tests/server-n0/integration.py

@@ -205,12 +205,7 @@ with subtest("(isolation): edges are one-way"):
     server.fail(ct_connect("git", ADDR["nginx"], 443, timeout=2))
 
 with subtest("(isolation): host access allowlist"):
-    server.succeed(
-        net_cmd(
-            "overseer",
-            f"{CURL} -sf --max-time 5 http://{HOST_ADDR['overseer']}:{HOST_EXPORTER_PORT}/metrics >&2",
-        )
-    )
+    server.succeed(ct_connect("overseer", HOST_ADDR["overseer"], HOST_EXPORTER_PORT))
     for port in (HOST_EXPORTER_PORT, HOST_CADVISOR_PORT):
         server.fail(ct_connect("git", HOST_ADDR["git"], port, timeout=2))
         server.fail(ct_connect("git", HOST_ADDR["overseer"], port, timeout=2))