Skip to content

Bump vendored allium to v3.8.0#17

Merged
yavorpanayotov merged 1 commit into
masterfrom
bump-vendored-allium-3.8.0
Jul 22, 2026
Merged

Bump vendored allium to v3.8.0#17
yavorpanayotov merged 1 commit into
masterfrom
bump-vendored-allium-3.8.0

Conversation

@yavorpanayotov

Copy link
Copy Markdown
Collaborator

Pins scripts/allium-ref.txt to v3.8.0 and re-vendors plugins/allium via scripts/sync-allium.sh. Changes in this release: the propagate skill gains an obligation reconciliation step (silent coverage check plus a guarded auto-cover mini-loop after test generation — juxt/allium#56), and the homepage/README URLs move to allium-lang.org. sync-allium.sh --check passes.

🤖 Generated with Claude Code

https://claude.ai/code/session_01D6FTVnDrei6nNse624pG3w

Re-vendors plugins/allium at the v3.8.0 tag: the propagate skill gains
an obligation reconciliation step (guarded auto-cover mini-loop after
test generation), and the homepage moves to allium-lang.org.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01D6FTVnDrei6nNse624pG3w
@yavorpanayotov
yavorpanayotov merged commit 1dff3aa into master Jul 22, 2026
1 check passed
@yavorpanayotov
yavorpanayotov deleted the bump-vendored-allium-3.8.0 branch July 22, 2026 10:08
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