Ricardo Guilherme Schmidt
097bd05665
chore: update pull request template and README.md
2024-09-25 11:29:22 +02:00
r4bbit
b62ac5233e
chore(CI): update certora-cli to 7.10.2
...
This should fix a bug in the CLI that causes CI tasks to pass even
though prover runs are emitting errors.
2024-08-27 14:46:22 +02:00
r4bbit
ead8db634c
chore(ci): update certora CLI in CI
...
This update the certora cli to the latest version 7.10.1 in CI tasks.
2024-08-05 08:35:47 +02:00
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