diff options
| author | Dmitry V. Levin <ldv@strace.io> | 2022-07-01 18:00:00 +0000 |
|---|---|---|
| committer | Dmitry V. Levin <ldv@strace.io> | 2022-07-01 18:00:00 +0000 |
| commit | 52940dbf578e4b4a2236a62029917bed59225179 (patch) | |
| tree | 3405a8142b8ea2d5d4270b177322ede4c41f0392 | |
| parent | d2722e4b79805463327621fc9ed8a004c212c354 (diff) | |
| download | strace-52940dbf578e4b4a2236a62029917bed59225179.tar.gz | |
.github: switch coverage job to ubuntu-latest
While ubuntu-latest in ci is not necessarily the latest version of the
OS available in ci, it's the default version, so let's try to use it
for the coverage.
* .github/workflows/ci.yml (coverage) <runs-on>: Change from
ubuntu-20.04 to ubuntu-latest.
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9cf771b03..d771d725a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -15,7 +15,7 @@ jobs: run: git diff-index --check --cached 4b825dc642cb6eb9a060e54bf8d69288fbee4904 coverage: # the longest of all build jobs - runs-on: ubuntu-20.04 + runs-on: ubuntu-latest env: CHECK: coverage CC: gcc |