Closed nlordell closed 1 month ago
Change the Certora CI setup to use our more modern standard.
Some other small cleanups:
Change the Certora CI setup to use our more modern standard.
Some other small cleanups: