diff options
| author | RSDuck <RSDuck@users.noreply.github.com> | 2020-06-08 20:58:35 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-08 20:58:35 +0200 |
| commit | 76da3fa11422488175018c1ed12cfdd8d38a96fa (patch) | |
| tree | 4e594abd34cb1811cd0ed9723411557d387d6cf8 /.github | |
| parent | 90cf310e8114a9bf813b764d4f501e1f3133e77f (diff) | |
| parent | 2fab0903447b537021fa5ae6632976b955f5e6ac (diff) | |
Merge pull request #643 from rzumer/patch-1
Update Ubuntu version used for CI
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-ubuntu.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build-ubuntu.yml b/.github/workflows/build-ubuntu.yml index efb9604..4ecdae0 100644 --- a/.github/workflows/build-ubuntu.yml +++ b/.github/workflows/build-ubuntu.yml @@ -15,7 +15,7 @@ env: jobs: build: - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 steps: - uses: actions/checkout@v1 |