[Certora] Roles tree #30

Sign in to view logs

Triggered via pull request January 9, 2024 09:08

QGarchery

synchronize #389

certora/roles-tree

Status Failure

Total duration 13m 12s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

1 error and 1 warning

verify (Roles)

Process completed with exit code 1.

verify (Roles)

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