fix linting issues (#781) #966

	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@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	- uses: actions/setup-node@39370e3970a6d050c480ffad4ff0ed4d3fdee5af # v4.1.0
	- uses: mymindstorm/setup-emsdk@6ab9eb1bda2574c4ddb79809fc9247783eaf9021 # v14
	- name: Verify
	run: emcc -v
	- name: Checkout
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v3.6.0
	- name: Configure
	run: emcmake cmake -B buildwasm -D ADA_TESTING=ON -D ADA_TOOLS=OFF
	- name: Build
	run: cmake --build buildwasm
	- name: Test
	run: ctest --test-dir buildwasm

Provide feedback