staking

Author	SHA1	Message	Date
r4bbit	d733cc3fd3	chore: update certora-cli in ci	2024-03-01 15:31:14 -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	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