| commit | 9f72b709c3906cd36b4ca1a061609dd431b8686c | [log] [tgz] |
|---|---|---|
| author | Olly Betts <olly@survex.com> | Wed Apr 19 07:52:48 2023 +1200 |
| committer | Olly Betts <olly@survex.com> | Wed Apr 19 07:52:48 2023 +1200 |
| tree | 38072c2d5b05e6114763ff383e5a2e8502363717 | |
| parent | f030df8786bc3e707bee9079d093368de3d8bc57 [diff] |
[ci] Try simply running ubuntu-18.04 jobs on 20.04