Merge pull request 'Fork tooling: a build check and a rename pass in the strip, a notice check in CI' (#21) from fork/strip-build-check-and-notices into main

Reviewed-on: #21
2026-09-23 04:10:32 +00:00
parent 99096cdc9b 4799d191a0
commit 79f54add2f
9 changed files with 1124 additions and 7 deletions
@@ -20,15 +20,21 @@ concurrency:
  cancel-in-progress: true

 jobs:
-  # The upstream name in a new string literal, typically brought in by an
-  # upstream merge. Seconds, and needs no toolchain. tools/fork/name-check.py.
-  name-check:
+  # What an upstream merge can bring in or leave behind without a conflict:
+  # the upstream name in a new string literal, and a changed upstream file
+  # without the AGPL 5(a) notice. Seconds, and needs no toolchain. The notice
+  # check diffs against the upstream snapshot branch, hence the full fetch.
+  fork-checks:
    runs-on: light
    container:
      image: python:3.13-slim@sha256:8d9d0b8bcf6506481eae4907c18f5e3e7902e629f5f6d684f9e7c32e85e3ddf0 # 3.13-slim
    steps:
      - uses: coffey-labs/actions/checkout@fab0c4d45e0162963965f1555df27b7bed5e20ec
+        with:
+          fetch-depth: 0
      - run: python3 tools/fork/name-check.py
+      - if: always()
+        run: python3 tools/fork/notice-check.py

  build:
    # Either runner (host1 or host2): the build needs no docker socket.