diff options
| author | Andres Freund | 2022-11-18 00:22:25 +0000 |
|---|---|---|
| committer | Andres Freund | 2022-11-18 00:22:25 +0000 |
| commit | 967db242c2aa7d50300e20bd8a403bd905feec38 (patch) | |
| tree | c8335eaa5369c07be2306aaa234728eea361f533 /src | |
| parent | 1489b1ce728248e04da72aa32f87e9a634ebf9b8 (diff) | |
ci: Add task testing windows with mingw
For now the task has been set to be manually triggered, as we are already
limited by the amount of CI time available for windows, particularly on cfbot.
Author: Melih Mutlu <m.melihmutlu@gmail.com>
Reviewed-by: Andrew Dunstan <andrew@dunslane.net>
Reviewed-by: Andres Freund <andres@anarazel.de>
Reviewed-by: Justin Pryzby <pryzby@telsasoft.com>
Reviewed-by: Nazir Bilal Yavuz <byavuz81@gmail.com>
Discussion: https://postgr.es/m/CAGPVpCSKS9E0An4=e7ZDnme+y=WOcQFJYJegKO8kE9=gh8NJKQ@mail.gmail.com
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. |