diff options
| author | coqbot-app[bot] | 2021-02-16 21:18:26 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-16 21:18:26 +0000 |
| commit | c6bc1cea49cb5a18142437325ecb6875514c22bb (patch) | |
| tree | d2e6b323d69fbed638d5a26119959903183bea85 /pretyping | |
| parent | c0e0e637c61e075f43b73d1ddd8eaa9d79b27561 (diff) | |
| parent | 43ed1525126723858e6e3cbd63f26dc2af479511 (diff) | |
Merge PR #13866: Only run windows job when WINDOWS=enabled
Reviewed-by: Zimmi48
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions