Skip to content

build: move tooling to ez 1.7.0 and bolt v1.17.0 on bend 2.0.38 - #81

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

Tooling pass after ez 1.7.0 (bend 2.0.38). No package content changes, no release.

  • flake.nix: inputs.ez follows this flake's bend (bendlang/bend 042e797, which packages 2.0.38) again, dropping the interim pin to eebc18cd; checks.proofs = ez.mkProofs { ez = ezBin; src = self; } replaces the interim runCommand; bolt's wrapFlags use ez.rtsFlags bend [ "--gpu" "off" ] (the +RTS --gpu off -RTS form). flake.lock holds only bend, ez, nixpkgs.
  • ez.toml / ez.lock.toml: [tools.bolt] at v1.17.0 (ez lock --upgrade --package bolt).
  • publish.yml, release-please.yml: Emerging-Patterns/actions pins to 73b2fbc64cefd6e22bd786437adb5f35190ee837.

Gate (local): nix flake check passes; lint with bolt v1.17.0 is 0 errors (1032 L001 coverage warnings, already set to warn, no new rules firing); PROOF.bend prints ALL PROOFS CHECK on 2.0.38; ez test 0/0. No [deps] to bump. README unchanged: readme_hub_check.sh README.md 0x57618559b9b26dd8415f821176a3e692 exits 0 (emerging-ezimg@1.2.0.0).

🤖 Generated with Claude Code

- flake: ez follows this flake's bend (2.0.38) again; checks.proofs is
  ez.mkProofs in place of the interim runCommand; bolt's wrapFlags use
  ez.rtsFlags (+RTS --gpu off -RTS on 2.0.38). flake.lock holds only
  bend, ez and nixpkgs.
- ez.toml [tools.bolt] at v1.17.0, locked with ez lock --upgrade.
- workflows: Emerging-Patterns/actions pins at 73b2fbc.

No package content changes; no release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@ngngardner
ngngardner merged commit a51cc1b into main Oct 23, 2026
1 check passed
@ngngardner
ngngardner deleted the build/tooling-ez-1.7.0 branch October 23, 2026 04:57
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