diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 94247894..9e0f7187 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -81,7 +81,7 @@ jobs: sanitize: name: sanitize - runs-on: ubuntu-22.04 + runs-on: ubuntu-latest env: USE_NINJA: "1" CC: "clang" @@ -101,11 +101,9 @@ jobs: - run: make clang-${{ matrix.type }}-${{ matrix.sanitizer }} - if: ${{ matrix.sanitizer }} != fuzz run: make test-clang-${{ matrix.type }}-${{ matrix.sanitizer }} - - build-wasm2c-memchecked: name: wasm2c-memchecked - runs-on: ubuntu-22.04 + runs-on: ubuntu-latest env: USE_NINJA: "1" CC: "clang" # used by the wasm2c tests |