chore: release v0.13.0 #3076

	name: CI

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

	concurrency:
	group: "ci-${{ github.ref }}"
	cancel-in-progress: ${{ github.event_name == 'pull_request' }}

	jobs:
	build:
	name: Build
	runs-on: ubuntu-latest
	timeout-minutes: 5

	steps:
	- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd

	- name: Use Node.js
	uses: actions/setup-node@48b55a011bda9f5d6aeb4c2d9c7362e8dae4041e
	with:
	node-version: latest
	cache: "npm"

	- name: Setup Rust
	uses: actions-rust-lang/setup-rust-toolchain@2b1f5e9b395427c92ee4e3331786ca3c37afe2d7
	with:
	toolchain: nightly,stable
	components: rustfmt,clippy

	- name: Install dependencies
	run: npm ci

	- name: Check formatting
	run: npm run format:check

	- name: Check for typos
	uses: crate-ci/typos@7c572958218557a3272c2d6719629443b5cc26fd
	with:
	config: ./typos.toml

	- name: Lint
	run: cargo clippy --all-features

	- name: Build
	run: cargo build --all-targets --all-features

	- name: Run tests
	run: cargo test --all-features

	- name: Check generated files are up to date
	run: \|
	npm run generate
	git diff --exit-code \|\| (echo "Generated files are out of date. Run 'npm run generate' and commit the changes." && exit 1)

Provide feedback