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/**"