Skip to content
certora

fix: initialize funds admin on collector #123

Sign in to view logs

fix: initialize funds admin on collector

fix: initialize funds admin on collector #123

Triggered via pull request February 12, 2025 09:33
@brotherlymitebrotherlymite
opened #100
bgd-labs:fix/collector-initialize
Status Skipped
Total duration 3s
Artifacts –

certora-basic.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in