Merge pull request #334 from morpho-org/certora/dev #31

Sign in to view logs

Triggered via push January 9, 2024 19:23

MathisGD

main

Status Success

Total duration 4m 46s

Artifacts –

certora.yml

on: push

Matrix: verify

Annotations

1 warning

verify (Roles)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.