message: ci: Check wat2wasm4cpp
diff: @@ -82,6 +82,17 @@ jobs:
  name: "Run codespell"
  command: |
  codespell --quiet-level=4
  + - run:
  + name: "Install wabt"
  + working_directory: ~/bin
  + command: curl -L https://github.com/WebAssembly/wabt/releases/download/1.0.13/wabt-1.0.13-linux.tar.gz | tar xz --strip=1
  + - run:
  + name: "Check wat2wasm4cpp"
  + command: |
  + export PATH=$PATH:~/bin
  + ./wat2wasm4cpp.py test/unittests/execute_control_test.cpp
  + git diff --color --exit-code
  +
  release-linux:
  executor: linux-gcc-9
  