Skip to content

Merge pull request #1679 from morpho-org/MathisGD-patch-1 #49

Merge pull request #1679 from morpho-org/MathisGD-patch-1

Merge pull request #1679 from morpho-org/MathisGD-patch-1 #49

Triggered via push January 14, 2025 14:28
Status Failure
Total duration 9m 24s
Artifacts

ci-certora.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
verify (RewardsDistributor)
Process completed with exit code 1.
verify (MerkleTrees)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (MerkleTrees)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
verify (RewardsDistributor)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (RewardsDistributor)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.