Skip to content

build: ez 1.3.0 and bolt 1.11.0 tooling, README imports by hub name - #54

Merged
noah-emp merged 1 commit into
mainfrom
build/tooling-ez-1.3.0
Sep 30, 2026
Merged

noah-emp merged 1 commit into
mainfrom
build/tooling-ez-1.3.0

Conversation

@noah-emp

Copy link
Copy Markdown
Collaborator

Tooling pass after the fleet's bend 2.0.34 releases. No package content changes (build:, no release).

  • flake: inputs are nixpkgs, bend, ez; ez follows bend again (ez 1.3.0 runs on 2.0.34; the interim af569d4 pin is gone). ez locked at b5693ce28337e770b2c70c99d53d311cd044dc24 (v1.3.0). checks.proofs is ez.mkProofs again, replacing the interim runCommand.
  • [tools.bolt]: v1.11.0 (rev 91efe4b). Lint stays clean, no new findings.
  • README: install leads with import shake@0.4.0.0/main.bend as Shake, names the hash it resolves to (0xcab8a7a1…), ez second; the usage snippet uses the named import; bend 2.0.32+ stated, 2.0.34 as the checked version. Stale v0.2.0 hash removed.

Checks run locally:

  • nix flake check -L: pass (demo, lint clean, proofs PASS: 1 / 1).
  • ez prove (ez 1.3.0, bend 2.0.34): PASS: 1 / 1.
  • readme_hub_check.sh README.md 0xcab8a7a189cec2b51e8db0484f69c593:
ok   hub: 0xcab8a7a189cec2b51e8db0484f69c593 = 0xcab8a7a189cec2b51e8db0484f69c593
ok   hub: shake@0.4.0.0 = 0xcab8a7a189cec2b51e8db0484f69c593
2
ok   snippet1.bend
ok   snippet2.bend

(exit 0)

🤖 Generated with Claude Code

- flake: ez follows bend again (ez 1.3.0 runs on bend 2.0.34), locked at
  ez v1.3.0 (b5693ce); the interim runCommand proof check is
  ez.mkProofs again.
- [tools.bolt] at v1.11.0; lint stays clean.
- README: install and usage import shake@0.4.0.0/main.bend by hub name,
  name the hash it resolves to, and state the bend 2.0.32+ requirement.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@noah-emp
noah-emp merged commit f8ececd into main Sep 30, 2026
1 check passed
@noah-emp
noah-emp deleted the build/tooling-ez-1.3.0 branch September 30, 2026 01:14
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