diff options
author | Justus Winter <justus@sequoia-pgp.org> | 2023-06-05 14:05:26 +0200 |
---|---|---|
committer | Justus Winter <justus@sequoia-pgp.org> | 2023-06-05 14:05:26 +0200 |
commit | 940a7267a61418661f61da2f0676069096ca2626 (patch) | |
tree | 8c0207154d36f1256cb0d7f2cf546d088fc944b1 /buffered-reader/src | |
parent | 11b11b73d911962a8396c0f6bc57612fdfd25adc (diff) |
ci: Drop the windows-gnu jobs.
- Updating the windows-gnu base image failed despite considerable
efforts. Until someone steps up to maintain the CI jobs
targeting Windows, the only viable way forward seems to be to drop
these jobs.
Diffstat (limited to 'buffered-reader/src')
0 files changed, 0 insertions, 0 deletions