Skip to content

docs: pin install examples to orc--v0.25.0 - #114

Merged
HigorAlves merged 1 commit into
mainfrom
docs/pin-0.25.0
Oct 7, 2026
Merged

HigorAlves merged 1 commit into
mainfrom
docs/pin-0.25.0

Conversation

@HigorAlves

Copy link
Copy Markdown
Owner

Install pins follow the orc--v0.25.0 tag (#113).

How tested

scripts/ci/verify-version.sh — both pins resolve once the orc--v0.25.0 tag is pushed; red until then by design.

@HigorAlves
HigorAlves marked this pull request as ready for review October 7, 2026 14:41
@HigorAlves
HigorAlves merged commit dc35e20 into main Oct 7, 2026
7 of 8 checks passed
@HigorAlves
HigorAlves deleted the docs/pin-0.25.0 branch October 7, 2026 14:42
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