diff options
| author | Zied Aouini <aouinizied@gmail.com> | 2022-03-09 10:57:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-09 10:57:21 +0100 |
| commit | 74ae315e36cf206961affa5bd2869c025e4c751f (patch) | |
| tree | aefb34a465c7ec89109d106de63dad57021d7538 /utils/update_every_lists.sh | |
| parent | 269be6c7ef038d2de377546813fbb2bacf80e510 (diff) | |
Implement CI on Windows. (#1483)
* Switch fail fast to True.
* Windows CI.
Diffstat (limited to 'utils/update_every_lists.sh')
0 files changed, 0 insertions, 0 deletions