diff options
author | Olly Betts <olly@survex.com> | 2023-04-18 08:29:43 +1200 |
---|---|---|
committer | Olly Betts <olly@survex.com> | 2023-04-18 08:29:43 +1200 |
commit | f030df8786bc3e707bee9079d093368de3d8bc57 (patch) | |
tree | 3fd6f5183e6772695798cac705f4e49498f5905a /Lib | |
parent | 7bbe1c5b65a1d6fae239e97eb01ae654024cde7f (diff) | |
download | swig-f030df8786bc3e707bee9079d093368de3d8bc57.tar.gz |
[ci] Disable ubuntu-18.04 jobs
Github has now dropped support for running jobs on Ubuntu 18.04 and
these jobs now sit un-run for a day and then fail.
Hopefully many of these jobs can be resurrected on a newer Ubuntu
version, but as a first step let's get git master back to a state where
all the enabled jobs can be expected to pass.
Diffstat (limited to 'Lib')
0 files changed, 0 insertions, 0 deletions