From 75eba036c266ae1d33c79e92b0b1d1b8270d3493 Mon Sep 17 00:00:00 2001 From: PAMF2 Date: Wed, 26 Aug 2026 21:00:15 -0400 Subject: [PATCH] ci: run the pipeline on pull requests 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. --- .github/workflows/ci.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cc7aae1..4aab0d3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,13 @@ on: push: branches: [main] tags: ["v*"] + paths-ignore: + - "**.md" + # Fork PRs (e.g. Oliver-CG's fix series) previously ran NO CI at all - + # seven open PRs sat unvalidated while main itself was red on the + # rocksdb NIF build. Every PR now runs the same pipeline. + pull_request: + branches: [main] paths-ignore: - "**.md" - "site/**"