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 6c1cac858f3..336e6ea5f2a 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)} +- ci-os-only: {(freebsd|linux|macos|windows|mingw)} Only runs CI on operating systems specified. This can be useful when addressing portability issues affecting only a subset of platforms. |