diff options
author | George Melikov <[email protected]> | 2021-03-12 04:11:31 +0300 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-11 17:11:31 -0800 |
commit | 8d534c37ac745a8fd9e41f756012118d27b90bb4 (patch) | |
tree | 07021a57bcb0382235f1a4610a2efeff129c1d0b | |
parent | f5ada6538dbc07f4589cbeff8f84228d1575bb03 (diff) |
CI checkstyle: pin ubuntu version
Our checkstyle doesn't work well on Ubuntu 20.04,
temporary pin it to 18.04.
Reviewed-by: Brian Behlendorf <[email protected]>
Signed-off-by: George Melikov <[email protected]>
Closes #11713
-rw-r--r-- | .github/workflows/checkstyle.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/checkstyle.yaml b/.github/workflows/checkstyle.yaml index 1707f5bb2..8dcd5047a 100644 --- a/.github/workflows/checkstyle.yaml +++ b/.github/workflows/checkstyle.yaml @@ -6,7 +6,7 @@ on: jobs: checkstyle: - runs-on: ubuntu-latest + runs-on: ubuntu-18.04 steps: - uses: actions/checkout@v2 with: |