certora

Update Contract #74

Sign in to view logs

This workflow is awaiting approval from a maintainer in #8

Triggered via pull request January 2, 2025 15:18

mmv08

synchronize #8

safe-global:main

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #8

certora.yml

on: pull_request

Matrix: verify

Waiting for pending jobs