Sync audit formal verification (#294) #609

	name: Check autogen files

	on:
	push:
	branches: ['main']
	paths:
	[
	'programs/**',
	'lib/**',
	'Cargo.toml',
	'Cargo.lock',
	]
	pull_request:
	branches: ['main']
	paths:
	[
	'client/**',
	'docs/**',
	'lib/**',
	'programs/**',
	]
	workflow_dispatch:

	env:
	RUST_TOOLCHAIN: '1.78.0'

	jobs:
	autogen-check:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4

	- name: Setup Node
	uses: actions/setup-node@v4
	with:
	node-version: '18'
	cache: 'yarn'

	- name: Cache dependencies
	uses: Swatinem/rust-cache@v2

	- name: Set Rust version
	run: rustup toolchain install ${{ env.RUST_TOOLCHAIN }}

	- name: Install dependencies
	run: yarn install --frozen-lockfile

	- uses: nickcharlton/diff-check@main
	with:
	command: cd client/idl && yarn && node generateIdl.js && node generateClient.js && node generateIdl.js && cd - ; npm install -g prettier; prettier client/ts --write ; prettier client/ts/src/manifest --write; prettier client/ts/src/wrapper --write; prettier client/ts/src/ui_wrapper --write; git diff;

Provide feedback