Protocol ops script rework #28

Sign in to view logs

Triggered via pull request October 13, 2023 21:11

opened #5

protocol-ops-script-rework

Status Failure

Total duration 36s

Artifacts –

certora.yml

on: pull_request

Matrix: verify

Annotations

5 errors

verify (verifyOwners.sh)

Process completed with exit code 1.

verify (verifySafe.sh)

The job was canceled because "verifyOwners_sh" failed.

verify (verifySafe.sh)

Process completed with exit code 1.

verify (verifyModules.sh)

The job was canceled because "verifyOwners_sh" failed.

verify (verifyModules.sh)

Process completed with exit code 1.