This repository has been archived by the owner on Jan 11, 2024. It is now read-only.

Add skeleton for GatewayActor invariants #1144

	name: Static analysis

	on:
	push:
	branches: [ main, dev ]
	pull_request:

	jobs:
	slither:
	name: Slither check
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	submodules: recursive

	- name: Run Slither
	uses: crytic/[email protected]
	with:
	fail-on: low

	aderyn:
	name: Aderyn check
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	submodules: recursive

	# We remove this file because Aderyn can choose hardhat for compilation if that config file exists.
	# Currently, it is not possible to configure Aderyn to use foundry by default.
	- name: delete hardhat config
	run: rm -rf ./hardhat.config.ts

	- name: Install Foundry
	uses: foundry-rs/foundry-toolchain@v1
	with:
	cache: false

	- name: Install aderyn
	run: cargo install aderyn

	- name: Run aderyn
	run: aderyn ./

	- name: Check results
	run: ./tools/check_aderyn.sh

	solhint:
	name: Solhint check
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Setup Node 16
	uses: actions/setup-node@v3
	with:
	node-version: '18.x'
	cache: 'npm'
	- name: Install Node dependencies
	run: npm i --unsafe-perm
	- name: Install solidity plugin
	run: npm i --unsafe-perm prettier prettier-plugin-solidity
	- name: Prettier check
	run: npx prettier --check 'src/*/.sol' 'test/*.sol'
	- name: Solhint check
	run: npx solhint 'src/*/.sol'

	codespell:
	name: Codespell check
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: CodeSpell check
	uses: codespell-project/[email protected]
	with:
	check_hidden: true
	check_filenames: true
	path: src/,script/,scripts/,test/
	ignore_words_file: .codespellignore

Provide feedback