Ubuntu 22.04 ships with mpdecimal 2.5.1, installable using 'apt install libmpdec-dev'.
build_ubuntu_ssltests:
name: 'Ubuntu SSL tests with OpenSSL'
- runs-on: ubuntu-20.04
+ runs-on: ubuntu-22.04
timeout-minutes: 60
needs: check_source
if: needs.check_source.outputs.run_tests == 'true'
test_hypothesis:
name: "Hypothesis tests on Ubuntu"
- runs-on: ubuntu-20.04
+ runs-on: ubuntu-22.04
timeout-minutes: 60
needs: check_source
if: needs.check_source.outputs.run_tests == 'true' && needs.check_source.outputs.run_hypothesis == 'true'
build_asan:
name: 'Address sanitizer'
- runs-on: ubuntu-20.04
+ runs-on: ubuntu-22.04
timeout-minutes: 60
needs: check_source
if: needs.check_source.outputs.run_tests == 'true'
build_ubuntu_reusable:
name: 'build and test'
timeout-minutes: 60
- runs-on: ubuntu-20.04
+ runs-on: ubuntu-22.04
env:
FORCE_COLOR: 1
OPENSSL_VER: 3.0.13
build_wasi_reusable:
name: 'build and test'
timeout-minutes: 60
- runs-on: ubuntu-20.04
+ runs-on: ubuntu-22.04
env:
WASMTIME_VERSION: 18.0.3
WASI_SDK_VERSION: 21