1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

CI: Cirrus CI - skip build on ignore-paths (GH-13675)

Cirrus CI supports a `<job>.skip` key that skips the build if the expression
evaluates to true. This adds the same list of `on.pull_request.paths-ignore`
patterns from GitHub Actions workflows.

This should save several minutes of CI times on PRs when the changes are
only in the README/doc files.

[Cirrus CI Docs](https://cirrus-ci.org/guide/writing-tasks/#supported-functions)
This commit is contained in:
Ayesh Karunaratne
2024-09-25 18:05:53 +07:00
committed by GitHub
parent 3566421e14
commit f6a05e045f

View File

@@ -6,6 +6,7 @@ freebsd_task:
timeout_in: 50m
freebsd_instance:
image_family: freebsd-13-3
skip: "changesIncludeOnly('docs/**', 'NEWS', 'UPGRADING', 'UPGRADING.INTERNALS', '**/README.*', 'CONTRIBUTING.md', 'CODING_STANDARDS.md', '.circleci/**')"
env:
ARCH: amd64
install_script: