diff options
author | Florian Bruhin <me@the-compiler.org> | 2020-11-20 11:48:00 +0100 |
---|---|---|
committer | Florian Bruhin <me@the-compiler.org> | 2020-11-20 11:48:00 +0100 |
commit | bf6cda5a9cc91946104fb0023184a2c61fed7772 (patch) | |
tree | ab8f50b8170c7fc77245609a3ee138c6a129c360 /.github | |
parent | e07003ee5f99be9928475ab194e6eb9e36ccc8d0 (diff) | |
download | qutebrowser-bf6cda5a9cc91946104fb0023184a2c61fed7772.tar.gz qutebrowser-bf6cda5a9cc91946104fb0023184a2c61fed7772.zip |
ci: Be explicit about Ubuntu version
There currently are warnings about ubuntu-latest soon being 20.04 rather
than 18.04. For those environments, we don't actually care about the
underlying OS (linters/codeql/irc should work no matter what), but it's
still good to be explicit about the OS choice. This avoids the warnings
and makes things more predictable. Also, updating it once every 2
years (for Ubuntu LTS releases) shouldn't be a big issue.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index c292d7986..6ddb793e1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,7 +13,7 @@ jobs: linters: if: "!contains(github.event.head_commit.message, '[ci skip]')" timeout-minutes: 10 - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 strategy: fail-fast: false matrix: @@ -164,7 +164,7 @@ jobs: codeql: if: "!contains(github.event.head_commit.message, '[ci skip]')" timeout-minutes: 30 - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 steps: - name: Checkout repository uses: actions/checkout@v2 @@ -186,7 +186,7 @@ jobs: irc: timeout-minutes: 2 continue-on-error: true - runs-on: ubuntu-latest + runs-on: ubuntu-20.04 needs: [linters, tests, tests-docker, codeql] if: "always() && github.repository_owner == 'qutebrowser'" steps: |