Skip to content

chore: pin ordeal v0.17.0 as the default toolchain - #3

Merged
avrabe merged 1 commit into
mainfrom
chore/ordeal-0.17.0
Jul 29, 2026
Merged

chore: pin ordeal v0.17.0 as the default toolchain#3
avrabe merged 1 commit into
mainfrom
chore/ordeal-0.17.0

Conversation

@avrabe

@avrabe avrabe commented Jul 29, 2026

Copy link
Copy Markdown
Contributor

Adds the v0.17.0 sha256 table (from the release's SHA256SUMS.txt), makes it the default, and bumps the example pin so CI exercises the new download path on both platforms. Local: 3/3 example tests pass uncached with the real downloaded v0.17.0 binary.

🤖 Generated with Claude Code

https://claude.ai/code/session_01EBJ6kdJ16E3hnsBbq9Lwf1

…wnload

Hashes from the v0.17.0 release's SHA256SUMS.txt; examples re-run green
with the real downloaded binary (3/3, uncached).

Refs: pulseengine/ordeal#91

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01EBJ6kdJ16E3hnsBbq9Lwf1
@avrabe
avrabe merged commit bf4b489 into main Jul 29, 2026
2 checks passed
@avrabe
avrabe deleted the chore/ordeal-0.17.0 branch July 29, 2026 11:45
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.

1 participant