Skip to content

build: ez 1.7.0 on bend 2.0.38, bolt v1.17.0, actions 73b2fbc - #78

Merged
ngngardner merged 1 commit into
mainfrom
build/tooling-ez-1.7.0
Oct 23, 2026
Merged

ngngardner merged 1 commit into
mainfrom
build/tooling-ez-1.7.0

Conversation

@noah-emp

Copy link
Copy Markdown
Collaborator

The tooling pass after ez 1.7.0 (built on bend 2.0.38).

  • flake.nix: inputs.ez follows this flake's bend (the interim inputs.bend.url pin to eebc18cd is removed), checks.proofs = ez.mkProofs { ez = ezBin; src = self; } replaces the interim runCommand, and bolt's --gpu off goes through ez.rtsFlags bend [ "--gpu" "off" ]. nix flake lock --update-input ez only; flake.lock now holds bend, ez, nixpkgs (no ez/bend node).
  • ez.toml [tools.bolt] at tag v1.17.0 (rev 358c2da), locked with ez lock --upgrade --package bolt.
  • .github/workflows publish.yml and release-please.yml: Emerging-Patterns/actions pinned at 73b2fbc.

No walked file changes, so no release.

Gate (local):

  • nix flake check: passes. proofs (ez prove on bend 2.0.38) ok: ./PROOF.bend, PASS: 1 / 1; lint with bolt v1.17.0 0 errors, 2 warnings (the existing L001 coverage warnings). No new lint, so no issue opened.
  • ez test: PASS: 0 / 0 (no tests).

README is not changed here: v1.2.0 (which added items, is_arr, is_obj) did not publish to the hub, since its release-please publish job ran ez prove on ez's old bend 2.0.36 and failed. The README still imports emerging-ezjson@1.1.0.0, and its items snippet fails against 1.1.0. Once v1.2.0 is on the hub, the README should move to emerging-ezjson@1.2.0.0.

🤖 Generated with Claude Code

The tooling pass after ez 1.7.0, which builds on bend 2.0.38:

- flake.nix: the ez input follows this flake's bend (the interim pin to
  bend eebc18cd is gone), checks.proofs is ez.mkProofs again in place of
  the interim runCommand, and bolt's `--gpu off` goes through
  ez.rtsFlags. flake.lock holds bend, ez and nixpkgs only.
- ez.toml [tools.bolt] at tag v1.17.0, locked with
  `ez lock --upgrade --package bolt`.
- publish.yml and release-please.yml pin Emerging-Patterns/actions at
  73b2fbc.

No walked file changes, so no release. bolt v1.17.0 finds no new lint
(0 errors, the 2 existing coverage warnings).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@ngngardner
ngngardner merged commit 55b67ba into main Oct 23, 2026
1 check passed
@ngngardner
ngngardner deleted the build/tooling-ez-1.7.0 branch October 23, 2026 04:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants