Hadrien Croubois
|
9dd0eb5e5c
|
better wildcard
|
2 years ago |
|
Hadrien Croubois
|
9ce8455ae0
|
run certora scripts
|
2 years ago |
|
Hadrien Croubois
|
dfa0505c40
|
fix formal verification workflow
|
2 years ago |
|
Hadrien Croubois
|
e7f770591b
|
update harness and matrix
|
2 years ago |
|
Hadrien Croubois
|
b9c7899e6c
|
no debug
|
2 years ago |
|
Hadrien Croubois
|
0f20d57771
|
touch to force make
|
2 years ago |
|
Hadrien Croubois
|
797ef26bb6
|
refactor
|
2 years ago |
|
Hadrien Croubois
|
9aa745e4fe
|
try using python 3.8
|
2 years ago |
|
Hadrien Croubois
|
d7c3cc758b
|
try using python 3.10
|
2 years ago |
|
Hadrien Croubois
|
3c0d926908
|
--debug
|
2 years ago |
|
Hadrien Croubois
|
28367f8989
|
fix action
|
2 years ago |
|
Hadrien Croubois
|
61817e055f
|
enable formal verification by matrix
|
2 years ago |
|
Hadrien Croubois
|
94f9f7ac58
|
test matrix
|
2 years ago |
|
Hadrien Croubois
|
b2ec06aaf2
|
test matrix
|
2 years ago |
|
Hadrien Croubois
|
0c2453ba17
|
Automatically generate test matrix
|
2 years ago |
|
Hadrien Croubois
|
0d1e919742
|
run check on the formal-verification branch
|
2 years ago |
|
Hadrien Croubois
|
75ce9ef8e9
|
name
|
2 years ago |
|
Hadrien Croubois
|
56c355ea8b
|
fix
|
2 years ago |
|
Hadrien Croubois
|
3aa0a015d1
|
workflow trigger
|
2 years ago |
Francisco
|
6a8d977d22
|
Skip changelog check if label is present (#3687)
|
3 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>
|
3 years ago |
|
Hadrien Croubois
|
24fc709533
|
Set up codespell (#3643)
|
3 years ago |
|
Hadrien Croubois
|
7b5ef46371
|
Add a GH action that checks changelog (#3588)
|
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 |
teryanarmen
|
1701b0c7fd
|
fix erc1155supply vacuity, change CI solc version to 8.4
|
3 years ago |
teryanarmen
|
154a151518
|
Update verify.yml, adding master branch
|
3 years ago |
|
teryanarmen
|
9708bc0397
|
undo script changes
|
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 |
|
teryanarmen
|
9c45c52c4b
|
Fix CI script name for GovernorPreventLateQuorum
|
3 years ago |
|
teryanarmen
|
cccd90ec83
|
fix typo in CI
|
3 years ago |
|
teryanarmen
|
6a4fc6acb8
|
set up CI for round3 scripts
|
3 years ago |
Michael George
|
234b843c36
|
commented out failing rules and added solc version to ERC1155
|
3 years ago |
|
Michael George
|
a373d25b01
|
updated CI to match moving scripts to old
|
3 years ago |
|
Michael George
|
f4b2aff79e
|
added erc1155ext branch to CI
|
3 years ago |
|
Francisco Giordano
|
04204b8fb9
|
Improve GitHub Actions (#3451)
|
3 years ago |
|
Hadrien Croubois
|
b61faf8368
|
Procedural SafeCast.sol generation (#3245)
|
3 years ago |
|
Michael George
|
f242abbf93
|
starting CI integration
|
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
|
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 |
