fix: Fix Certora cli version to 4.13.1 (#370)#371

Merged

miguelmtzinf merged 1 commit intomainfrom fix/certora-cvl2

Dec 12, 2023

+1-1

Commits on Nov 16, 2023

fix: Fix Certora cli version to 4.13.1 (#370 )
MichaelMorami
authored