Merge pull request #3 from 0xStation/update-readme #25

Sign in to view logs

Triggered via push October 5, 2023 20:38

robriks

main

Status Failure

Total duration 43s

Artifacts –

certora.yml

on: push

Matrix: verify

Annotations

5 errors

verify (verifySafe.sh)

Process completed with exit code 1.

verify (verifyModules.sh)

The job was canceled because "verifySafe_sh" failed.

verify (verifyModules.sh)

Process completed with exit code 1.

verify (verifyOwners.sh)

The job was canceled because "verifySafe_sh" failed.

verify (verifyOwners.sh)

Process completed with exit code 1.