Francisco Giordano
|
e69248e551
|
Limit concurrency of formal-verification runs
|
2 years ago |
|
Francisco
|
6794c9460b
|
Run formal verification when label is added (#4112)
|
2 years ago |
Hadrien Croubois
|
4fb6833e32
|
Formal verification using Certora (#4084)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
renovate[bot]
|
df814dd374
|
Update crytic/slither-action action to v0.3.0 (#4064)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
2 years ago |
|
Francisco
|
4ff538af58
|
Fix flaky timestamp tests (#4046)
|
2 years ago |
Ernesto García
|
4e8aa43a90
|
Add publishing integrity check after releasing (#4045)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Ernesto García
|
6d18435098
|
Add `RELEASING.md` docs (#3981)
Co-authored-by: Francisco Giordano <fg@frang.io>
|
2 years ago |
|
renovate[bot]
|
5a00628ed3
|
Update getsentry/action-github-app-token action to v2 (#4036)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
2 years ago |
|
Hadrien Croubois
|
790cc5b65a
|
Add timestamp based governor with EIP-6372 and EIP-5805 (#3934)
Co-authored-by: Francisco Giordano <fg@frang.io>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
Co-authored-by: Francisco <frangio.1@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
a70ee4e3bb
|
Check storage layout consistency in PRs (#3967)
Co-authored-by: Francisco <frangio.1@gmail.com>
|
2 years ago |
|
Ernesto García
|
dc1ffa79e7
|
Fix changeset action access to ref branch (#3978)
Co-authored-by: Francisco Giordano <frangio.1@gmail.com>
|
2 years ago |
Francisco
|
c8b466b7b5
|
Disable Foundry for slither-action
(cherry picked from commit 4072e853fe)
|
2 years ago |
|
Ernesto García
|
5a0863ccf0
|
Change job titles in `release-cycle.yml` (#3972)
|
2 years ago |
|
Ernesto García
|
0c89a8b771
|
Automate release process via Changesets (#3915)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Francisco
|
88a64a802e
|
Update guidelines and project documentation (#3966)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2 years ago |
alpharush
|
a5af0adce4
|
Ignore reentrancy in`executeBatch` and update Slither config (#3955)
Co-authored-by: Francisco <fg@frang.io>
|
2 years ago |
|
Francisco
|
d89e51ac42
|
Use actionlint on GitHub Actions workflows (#3953)
|
2 years ago |
|
Francisco Giordano
|
ac30219a6a
|
Add explicit permissions to docs workflow
|
2 years ago |
|
Francisco Giordano
|
42fab12584
|
Remove unnecessary CI cache
|
2 years ago |
|
Francisco
|
86de1e8b6c
|
Pin Slither to 0.9.1 (#3949)
|
2 years ago |
|
Francisco
|
4072e853fe
|
Disable Foundry for slither-action
|
2 years ago |
|
Francisco
|
6b0c9f4e77
|
Revert "Disable Foundry for slither-action" (#3889)
|
2 years ago |
|
Francisco
|
98967feeb2
|
Disable Foundry for slither-action (#3860)
|
2 years ago |
|
renovate[bot]
|
9a11de924d
|
Update crytic/slither-action action to v0.2.0 (#3751)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
2 years ago |
|
Francisco Giordano
|
7deed7a769
|
Disable fuzzing on upgradeable contracts
(cherry picked from commit 9416743a10)
|
2 years ago |
|
Francisco Giordano
|
9416743a10
|
Disable fuzzing on upgradeable contracts
|
2 years ago |
|
Francisco
|
6a8d977d22
|
Skip changelog check if label is present (#3687)
|
2 years ago |
Nicolás Venturo
|
80ae402387
|
Add fuzz tests for Math.sqrt & Math.logX using Foundry (#3676)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco Giordano <frangio.1@gmail.com>
|
2 years ago |
|
Hadrien Croubois
|
24fc709533
|
Set up codespell (#3643)
|
2 years ago |
|
Hadrien Croubois
|
7b5ef46371
|
Add a GH action that checks changelog (#3588)
|
3 years ago |
|
Hadrien Croubois
|
3a1c020b7d
|
Skip pull_request actions when fetching ref in gas-compare action
|
3 years ago |
|
Hadrien Croubois
|
cfc9f840a0
|
Generate comparative gas repports on PR (#3532)
Co-authored-by: Francisco Giordano <frangio.1@gmail.com>
|
3 years ago |
|
Francisco Giordano
|
429b2242d8
|
Disable test for updated generated code on upgradeable contracts
|
3 years ago |
|
Francisco Giordano
|
c10a097fa8
|
Disable all checks but tests on upgradeable repository
|
3 years ago |
|
Francisco Giordano
|
cb7dbf8297
|
Disable coverage on upgradeable repository
|
3 years ago |
|
Francisco Giordano
|
04204b8fb9
|
Improve GitHub Actions (#3451)
|
3 years ago |
|
Hadrien Croubois
|
b61faf8368
|
Procedural SafeCast.sol generation (#3245)
|
3 years ago |
|
renovate[bot]
|
3fb25b604b
|
Update codecov/codecov-action action to v3 (#3320)
Co-authored-by: Renovate Bot <bot@renovateapp.com>
|
3 years ago |
|
renovate[bot]
|
049701eacd
|
Update crytic/slither-action action to v0.1.1 (#3307)
Co-authored-by: Renovate Bot <bot@renovateapp.com>
|
3 years ago |
JulissaDantes
|
f85eb5b725
|
Use slither action (#3278)
Co-authored-by: Francisco Giordano <frangio.1@gmail.com>
|
3 years ago |
|
renovate[bot]
|
05077f70f1
|
Update actions/cache action to v3 (#3277)
Co-authored-by: Renovate Bot <bot@renovateapp.com>
|
3 years ago |
|
renovate[bot]
|
dc739dcbe3
|
Update actions/checkout action to v3 (#3234)
Co-authored-by: Renovate Bot <bot@renovateapp.com>
|
3 years ago |
|
renovate[bot]
|
f9d9279320
|
Update actions/setup-node action to v3 (#3220)
Co-authored-by: Renovate Bot <bot@renovateapp.com>
|
3 years ago |
|
Francisco Giordano
|
b119b564df
|
Improve wording for forum link in new issue templates
|
3 years ago |
|
Francisco Giordano
|
7c47ac7193
|
Add workflow to generate and update docs branches
|
3 years ago |
JulissaDantes
|
b3b83b558e
|
Add Slither reentrancy check in CI (#3047)
Co-authored-by: Francisco Giordano <frangio.1@gmail.com>
|
3 years ago |
|
Francisco Giordano
|
4a6d82acb9
|
add workflow to trigger transpilation to upgradeable contracts
(cherry picked from commit 049ff9a3c7)
|
4 years ago |
|
Francisco Giordano
|
049ff9a3c7
|
add workflow to trigger transpilation to upgradeable contracts
|
4 years ago |
|
renovate[bot]
|
865dc9365c
|
Update codecov/codecov-action action to v2 (#2779)
Co-authored-by: Renovate Bot <bot@renovateapp.com>
|
4 years ago |
William Entriken
|
0500c9e53e
|
Use "OpenZeppelin Contracts" where appropriate (#2778)
|
4 years ago |
