certora

Update Contract #95

Sign in to view logs

This workflow is awaiting approval from a maintainer in #8

Triggered via pull request January 16, 2025 14:14

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