diff options
author | dkf <donal.k.fellows@manchester.ac.uk> | 2020-11-25 11:16:46 (GMT) |
---|---|---|
committer | dkf <donal.k.fellows@manchester.ac.uk> | 2020-11-25 11:16:46 (GMT) |
commit | 49ad442ac6b8cd1cbb23405c6098f7393fb6da53 (patch) | |
tree | 3d6c16d81b645465129beca6b0461dd421830f24 | |
parent | cada5eb9bd3970ea301a1f4f00c0dd541e7c9015 (diff) | |
download | tcl-49ad442ac6b8cd1cbb23405c6098f7393fb6da53.zip tcl-49ad442ac6b8cd1cbb23405c6098f7393fb6da53.tar.gz tcl-49ad442ac6b8cd1cbb23405c6098f7393fb6da53.tar.bz2 |
Switch to older Ubuntu so that we build with older glibc. Thanks to morganw for testing.
-rw-r--r-- | .github/workflows/onefiledist.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/onefiledist.yml b/.github/workflows/onefiledist.yml index 55cda01..205673b 100644 --- a/.github/workflows/onefiledist.yml +++ b/.github/workflows/onefiledist.yml @@ -3,7 +3,7 @@ on: [push] jobs: linux: name: Linux - runs-on: ubuntu-20.04 + runs-on: ubuntu-16.04 defaults: run: shell: bash |