Certora

[Certora] Dev #26

Sign in to view logs

Triggered via pull request January 8, 2024 15:56

QGarchery

synchronize #334

certora/dev

Status Success

Total duration 2m 29s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

1 warning

verify (Roles)

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