diff options
| author | David Robillard <d@drobilla.net> | 2020-02-09 11:34:33 +0100 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2020-02-09 11:35:42 +0100 |
| commit | e76c7df6079b235e6d4e758732ded311bd55883c (patch) | |
| tree | 80a2b8c0da5173efa5e30d07c8e5532285957f97 /Tools/gnu_dirs.py | |
| parent | 2436c4cb8c3e88806a24af7dfa1b55370ec06b38 (diff) | |
| download | serd-e76c7df6079b235e6d4e758732ded311bd55883c.tar.gz serd-e76c7df6079b235e6d4e758732ded311bd55883c.tar.bz2 serd-e76c7df6079b235e6d4e758732ded311bd55883c.zip | |
Add tags to Windows builds to exclude Gitlab shared runners
Gitlab now has shared Windows runners, which is cool, but unfortunately they
don't have Python, so they are useless here and will cause failed builds if
they pick up the job.
Diffstat (limited to 'Tools/gnu_dirs.py')
0 files changed, 0 insertions, 0 deletions