diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/tools/ci/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/ci/README b/src/tools/ci/README index 30ddd200c96..12c1e7c308f 100644 --- a/src/tools/ci/README +++ b/src/tools/ci/README @@ -61,7 +61,7 @@ Controlling CI via commit messages The behavior of CI can be controlled by special content in commit messages. Currently the following controls are available: -- ci-os-only: {(freebsd|linux|macos|windows|mingw)} +- ci-os-only: {(freebsd|linux|macos|mingw|netbsd|openbsd|windows)} Only runs CI on operating systems specified. This can be useful when addressing portability issues affecting only a subset of platforms. |