Skip to content

Commit

Permalink
chore: update morpho-blue
Browse files Browse the repository at this point in the history
  • Loading branch information
@QGarchery
QGarchery committed Dec 18, 2024
1 parent 7d69de2 commit f253f36
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/morpho-blue
Submodule morpho-blue updated 9 files
+2 −2 .github/workflows/foundry.yml
+1 −1 certora/README.md
+1 −1 foundry.toml
+1 −1 package.json
+5 −5 test/forge/BaseTest.sol
+1 −9 test/forge/InvariantTest.sol
+13 −101 test/forge/invariant/BaseInvariantTest.sol
+105 −0 test/forge/invariant/DynamicInvariantTest.sol
+20 −0 test/forge/invariant/StaticInvariantTest.sol

0 comments on commit f253f36

Please sign in to comment.