on master help sign in
Remove the GitHub Actions workflow

Montelot asked to remove GitHub Actions. .github/workflows/check.yml ran the desks and eval checks on every push to master and every pull request; nothing replaces it. development.md now says there is no CI and points at tools/check and nix flake check, which runs both groups in the Nix sandbox. Question 30 in the review answers notes the change. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01U4FzmSox5tf6jG3fwLz7Ep

commitf84a29e1a0af663afdb77e793c933470b59a249b authorClaude <noreply@anthropic.com> dateTue 3 Nov 2026, 02:43 (16 hours ago) parent44e3324
3 files changed+4−24
.github/workflows/check.yml−22 docs/development.md+2−2 docs/reviews/2026-11-02-questions.md+2
.github/workflows/check.ymldeleted−22
@@ -1,22 +0,0 @@
1−# The eval checks on every push to master and every pull request:
2−# the flake builds the desks and runs `tools/check --group eval` in the
3−# Nix sandbox (see flake.nix). The ship checks need a fake ~zod and run
4−# before pushing, as docs/development.md says.
5−name: check
6−
7−on:
8− push:
9− branches: [master]
10− pull_request:
11− workflow_dispatch:
12−
13−jobs:
14− eval:
15− name: desks and eval checks
16− runs-on: ubuntu-latest
17− timeout-minutes: 120
18− steps:
19− - uses: actions/checkout@v4
20− - uses: cachix/install-nix-action@v31
21− - name: Build the desks and run the eval checks
22− run: nix build --print-build-logs .#checks.x86_64-linux.desks .#checks.x86_64-linux.eval
docs/development.md+2−2
@@ -157,13 +157,13 @@ The `jibb-dev` desk holds `my-app`'s `ui/`, `sur/` and `mar/` under `/my-app` (r
157157
158158```
159159tools/check # every check; it exits 0 only when all pass
160−tools/check --group eval # only the checks that need no ship, as CI runs them
160+tools/check --group eval # only the checks that need no ship
161161nix flake check # the same checks in the Nix sandbox, on a fresh fake ~zod
162162```
163163
164164`tools/check` runs every check the repo has. Their one list is `CHECKS` in the script, so a new check goes there, as well as in the table above; `tools/check --list` prints it with each check's command. A new suite in `tests/lib` needs no new check: `arms-1` to `arms-4` run every suite's arms, in shards of about equal time, and a slow suite's cost belongs in `COSTS` in `tools/test-arms`, which balances them. The eval group, the 7 checks that need only `urbit` and Python, runs several at a time (`-j`, by default one per CPU), the slowest first. The ship group, `ship-selftest`, `ship-test`, `check-commit` and `clay-fixtures`, then runs one check at a time on the ship `tools/ship` talks to; `tools/check` starts it if it isn't running and stops it again afterwards. Name checks, or globs, to run only those: `tools/check golden 'arms-*'`. To run one suite under eval, use `tools/test-arms <suite>`, as `tools/test-arms jibb-todo-full`. A failing check's output follows its FAIL line; `-v` prints every check's output, and `--logs DIR` keeps it all.
165165
166−CI, [.github/workflows/check.yml](../.github/workflows/check.yml), builds the desks and runs the eval group through the flake on every push to `master` and every pull request. It doesn't run the ship group, so run that before pushing.
166+There is no CI, so nothing runs these checks for you: run `tools/check` or `nix flake check` before every push. `nix flake check` needs nothing but Nix, since it builds the desks and runs both groups in the Nix sandbox, the ship group (Linux only) on a fake ~zod it boots itself; see the [README](../README.md#building-and-checking-with-nix).
167167
168168`ship-selftest` matters most when `tools/ship` changed, and `check-commit` when the mark or the desks changed, but `tools/check` runs both every time. The self-test leaves fixture files on the `jibb-dev` desk, and `ship-test`, which runs after it, puts the real ones back.
169169
docs/reviews/2026-11-02-questions.md+2
@@ -234,6 +234,8 @@ Montelot's answers to 16 to 28 are proposals. They are listed in [open-questions
234234
235235**Answer:** a *(chosen)*
236236
237+On 2026-11-03 Montelot had the GitHub Actions job removed. The checks run before each push instead, with `tools/check` or `nix flake check`.
238+
237239**31. How should the 28 copies of `my-app` files under `tests/` be handled?** (A108, A109)
238240
239241- a) Map `my-app` into the `jibb-dev` desk outside `/tests` and read it directly, removing the copies.