Skip to content

Allow external libneo_ref trigger in CI#23

Closed
krystophny wants to merge 1 commit into
mainfrom
ci/libneo-dispatch
Closed

Allow external libneo_ref trigger in CI#23
krystophny wants to merge 1 commit into
mainfrom
ci/libneo-dispatch

Conversation

@krystophny

@krystophny krystophny commented Jun 8, 2026

Copy link
Copy Markdown
Member

Merge after #19 (the resolver PR). The LIBNEO_REF env added here is inert until that resolver PR lands and reads it; merging this first is harmless but does nothing.

Adds a libneo_ref workflow_dispatch input mapped to LIBNEO_REF, so an upstream libneo release can dispatch this CI to build MEPHIT against a candidate ref (branch, tag or commit). Empty on push/PR, so normal builds keep the committed default.

Add a libneo_ref workflow_dispatch input and map it to LIBNEO_REF so an
upstream libneo release can build MEPHIT against a candidate ref (branch, tag or
commit). Empty on push/PR, so normal builds keep the committed default.
@krystophny

Copy link
Copy Markdown
Member Author

Folded into #19, which now carries both the LIBNEO_BRANCH resolver override and the CI dispatch wiring as one reviewable unit (they are non-functional apart). Standardizing on LIBNEO_BRANCH (matches SIMPLE's resolver).

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