9 Commits

Author	SHA1	Message	Date
r4bbit	d9533912c2	refactor(certora): use CI matrix for verification jobs	2024-03-28 16:42:44 +01:00
r4bbit	6182d9508c	chore(certora): upgrade certora-cli to 7.0.7 ... This upgrade certora-cli on CI to version 7.0.7 which no longer requires the `STORAGE` keyword in storage hooks.	2024-03-20 10:59:35 +01:00
r4bbit	d733cc3fd3	chore: update certora-cli in ci	2024-03-01 15:31:14 -03:00
Ricardo Guilherme Schmidt	6082399e83	chore: add gas-report for all contracts	2024-02-26 10:07:54 -03:00
r4bbit	5c564a8050	chore(workflows): add-pr-to-project-board only trigger on `opened` ... This is to avoid getting these failing CI tasks where adding a PR to the board fails when it was already added before (happens when pushing into an existing PR).	2024-02-22 17:17:28 -03:00
r4bbit	119b8de037	chore: add project board automations	2024-02-16 08:28:23 +01:00
r4bbit	cf7a8b6574	chore(ci): add certora CI integration (#40)	2023-12-11 15:10:41 +01:00
r4bbit	a20d272e67	docs: fix PR template to mention `pnpm` not `yarn` ... This has been fixed in the original foundry template as well but wasn't yet in the changes done to this repository.	2023-09-13 10:13:38 +02:00
r4bbit	2e7c5148b4	refactor: migrate repository to foundry-template (#6) ... This commit migrates the repo to our foundry template, which ensures we have consistent tooling across smart contract repositories that are maintained by Vac. This removes all hardhat related files and workflows and replaces them with more perfomant foundry workflows. It also sets up tests, CI and linting.	2023-09-12 18:37:30 +02:00