Skip to content

ci: run the pipeline on pull requests - #8

Open
PAMF2 wants to merge 1 commit into
mainfrom
ci/pr-trigger
Open

ci: run the pipeline on pull requests#8
PAMF2 wants to merge 1 commit into
mainfrom
ci/pr-trigger

Conversation

@PAMF2

@PAMF2 PAMF2 commented Aug 27, 2026

Copy link
Copy Markdown

main has been red since 2026-08-17 on the rocksdb NIF build, and the likely fix (#6, libsnappy-dev + git context) has sat unvalidated since 2026-08-14 because ci.yml only triggers on push - fork PRs run nothing. One-file change: pull_request trigger so every PR runs the same pipeline. Merging this first lets #1-#7 validate themselves.

Fork PRs never triggered CI (push-only), so the seven open fix PRs sit
unvalidated while main is red on the rocksdb NIF build. PRs now run the
same pipeline; first candidate to benefit is #6, which claims to fix
exactly the rocksdb/libsnappy build that breaks main.
@PAMF2

PAMF2 commented Aug 27, 2026

Copy link
Copy Markdown
Author

Note on this PR's own red check: the new trigger did its job - it ran the pipeline and surfaced main's existing rocksdb NIF build failure (red on main since 2026-08-17, run 21:40). This branch changes only ci.yml; the red is inherited base state, which #6 (libsnappy-dev + git context) claims to fix. Merging this + re-pushing #6 gives the verdict.

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