issues
search
safe-global
/
safe-modules
A collection of modules that can be used with the Safe contract
GNU Lesser General Public License v3.0
140
stars
73
forks
source link
Upgrading certora CLI
#475
Closed
remedcu
closed
1 month ago
remedcu
commented
1 month ago
Updating the version from
7.3.0
>
7.10.1
coveralls
commented
1 month ago
Pull Request Test Coverage Report for
Build 10143613416
Details
0
of
0
changed or added relevant lines in
0
files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at
100.0%
Totals
Change from base
Build 10059661088
:
0.0%
Covered Lines:
51
Relevant Lines:
51
💛 -
Coveralls
Updating the version from
7.3.0
>7.10.1