Code

CI update#74

Code

Merged

MathisGD merged 2 commits intodevmorpho-org/morpho-blue:devfrom chore/ci-updatemorpho-org/morpho-blue:chore/ci-updateCopy head branch name to clipboardJul 7, 2023

+6-23

Commits

Commits on Jul 6, 2023

• chore: increase number of fuzz/invariant on CI

  MathisGD

  committed
  d52f15a

Commits on Jul 7, 2023

• chore: refactor CI yml

  MathisGD

  committed
  d87e02d