f6a5017b6e5b — Chris Cannam tip 7 months ago
Looks like Github have removed their 16.04 image. Let's see whether it builds with 18.04 without any other changes
1 files changed, 1 insertions(+), 1 deletions(-)

M .github/workflows/linux.yml
M .github/workflows/linux.yml +1 -1
@@ 5,7 5,7 @@ on: [push, pull_request]
 jobs:
   build:
 
-    runs-on: ubuntu-16.04
+    runs-on: ubuntu-18.04
 
     steps:
     - uses: actions/checkout@v2