Skip to content
safe-modules-4337-gas-metering

Refactor Certora formal verification job configurations to safe contr… #752

Sign in to view logs

Refactor Certora formal verification job configurations to safe contr…

Refactor Certora formal verification job configurations to safe contr… #752

Triggered via push August 29, 2024 12:05
@mmv08mmv08
pushed a9a107d
deps/bump
Status Success
Total duration 1m 33s
Artifacts –

ci_4337_gas_metering.yml

on: push
checks
1m 24s
checks
Fit to window
Zoom out
Zoom in