ci: update and fix pull request checks #1

	name: CI

	on:
	push:
	branches:
	- main
	pull_request:
	types: [ opened, synchronize, reopened ]
	workflow_dispatch:

	env:
	# Disable incremental compilation. CI builds are often closer to from-scratch builds, as changes
	# are typically bigger than from a local edit-compile cycle.
	# Incremental compilation also significantly increases the amount of IO and the size of ./target
	# folder, which makes caching less effective.
	CARGO_INCREMENTAL: 0
	RUST_BACKTRACE: short
	# Disabling debug info so compilation is faster and ./target folder is smaller.
	CARGO_PROFILE_DEV_DEBUG: 0

	jobs:
	formatting:
	name: Check formatting
	runs-on: ubuntu-20.04

	steps:
	- uses: actions/checkout@v4

	- name: Check formatting
	run: cargo fmt --all --check

	checks:
	name: Checks [${{ matrix.os }}]
	runs-on: ${{ matrix.runner }}
	needs: formatting
	strategy:
	fail-fast: false
	matrix:
	os: [ windows, linux ]
	include:
	- os: windows
	runner: windows-2019
	- os: linux
	runner: ubuntu-22.04 # 22.04 because we need a recent wabt version

	steps:
	- uses: actions/checkout@v4

	- name: Tests
	run: cargo test --workspace --locked -v

	- name: Lints
	run: RUSTFLAGS="-Dwarnings" cargo clippy --workspace --locked -v

	success:
	name: Success
	runs-on: ubuntu-latest
	if: ${{ success() }}
	needs:
	- formatting
	- checks

	steps:
	- name: CI succeeded
	run: exit 0

Provide feedback