Skip to content
certora-gho-5.0.5

fix: migrate npm deps to git modules foundry dependencies (#382) #16

Sign in to view logs

fix: migrate npm deps to git modules foundry dependencies (#382)

fix: migrate npm deps to git modules foundry dependencies (#382) #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
verify (verifyGhoVariableDebtToken_specialBranch.conf --rule sendersDiscountPercentCannotIncrease)
4m 46s
4m 46s