|
|
f1a69f164e
|
Add Halmos support for formal verification (#5034)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2024-05-23 09:01:12 -06:00 |
|
|
|
ec7ee76494
|
Update actions/cache action to v4 (#4841)
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
|
2024-01-17 13:24:46 -06:00 |
|
|
|
a80563c008
|
Migrate to Node 20 (#4756)
|
2024-01-11 16:13:21 +00:00 |
|
|
|
abba0d047a
|
Update remappings.txt for upgradeable contracts and set up submodule (#4639)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Ernesto García <ernestognw@gmail.com>
|
2023-10-02 15:41:18 -03:00 |
|
|
|
58463a9823
|
Enable partial transpilation for upgradeable package (#4628)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
|
2023-09-28 18:31:49 -03:00 |
|
|
|
b6111faac8
|
Use namespaced storage for upgradeable contracts (#4534)
|
2023-09-11 16:32:10 -03:00 |
|
|
|
42fab12584
|
Remove unnecessary CI cache
|
2023-01-12 17:43:54 -03:00 |
|
|
|
04204b8fb9
|
Improve GitHub Actions (#3451)
|
2022-06-02 19:42:49 -03:00 |
|
