docs: Add updated audit report for Modular Gho Stewards #224

	name: certora-gho-5.0.5

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	workflow_dispatch:

	jobs:
	verify:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	with:
	submodules: recursive

	- name: Install python
	uses: actions/setup-python@v2
	with: { python-version: 3.9 }

	- name: Install java
	uses: actions/setup-java@v1
	with: { java-version: '11', java-package: jre }

	- name: Install certora cli
	run: pip install certora-cli==5.0.5

	- name: Install solc
	run: \|
	wget https://github.com/ethereum/solidity/releases/download/v0.8.10/solc-static-linux
	chmod +x solc-static-linux
	sudo mv solc-static-linux /usr/local/bin/solc8.10

	- name: Verify rule ${{ matrix.rule }}
	run: \|
	cd certora/gho
	touch applyHarness.patch
	make munged
	cd ../..
	echo "key length" ${#CERTORAKEY}
	certoraRun certora/gho/conf/${{ matrix.rule }}
	env:
	CERTORAKEY: ${{ secrets.CERTORAKEY }}

	strategy:
	fail-fast: false
	max-parallel: 16
	matrix:
	rule:
	- verifyGhoVariableDebtToken_specialBranch.conf --rule sendersDiscountPercentCannotIncrease

Provide feedback