Skip to content

build(deps): bump debian from d8f9d38 to 8946810 #169

build(deps): bump debian from d8f9d38 to 8946810

build(deps): bump debian from d8f9d38 to 8946810 #169

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/setup-node@64ed1c7eab4cce3362f8c340dee64e5eaeef8f7c # v3.6.0
- uses: mymindstorm/setup-emsdk@ab889da2abbcbb280f91ec4c215d3bb4f3a8f775 # v12
- name: Verify
run: emcc -v
- name: Checkout
uses: actions/checkout@c85c95e3d7251135ab7dc9ce3241c5835cc595a9 # v3.5.3
- name: Configure
run: emcmake cmake -B buildwasm -D ADA_TOOLS=OFF
- name: Build
run: cmake --build buildwasm
- name: Test
run: ctest --test-dir buildwasm