Skip to content

introduce a new method (set_host_to_base_host) to replace set_host when set_host is unnecessary #908

introduce a new method (set_host_to_base_host) to replace set_host when set_host is unnecessary

introduce a new method (set_host_to_base_host) to replace set_host when set_host is unnecessary #908

Workflow file for this run

name: emscripten
on:
pull_request:
types: [opened, synchronize, reopened, ready_for_review]
paths-ignore:
- '**.md'
- 'docs/**'
push:
branches:
- main
paths-ignore:
- '**.md'
- 'docs/**'
permissions:
contents: read
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
- uses: actions/setup-node@0a44ba7841725637a19e28fa30b79a866c81b0a6 # v4.0.4
- uses: mymindstorm/setup-emsdk@6ab9eb1bda2574c4ddb79809fc9247783eaf9021 # v14
- name: Verify
run: emcc -v
- name: Checkout
uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v3.6.0
- name: Configure
run: emcmake cmake -B buildwasm -D ADA_TOOLS=OFF
- name: Build
run: cmake --build buildwasm
- name: Test
run: ctest --test-dir buildwasm