| commit | f030df8786bc3e707bee9079d093368de3d8bc57 | [log] [tgz] |
|---|---|---|
| author | Olly Betts <olly@survex.com> | Tue Apr 18 08:29:43 2023 +1200 |
| committer | Olly Betts <olly@survex.com> | Tue Apr 18 08:29:43 2023 +1200 |
| tree | 3fd6f5183e6772695798cac705f4e49498f5905a | |
| parent | 7bbe1c5b65a1d6fae239e97eb01ae654024cde7f [diff] |
[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.