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/tools/git-external-diff | |
| 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/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions