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

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

Sign in to view logs

Refactor Certora formal verification job configurations to safe contr…

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

Triggered via push August 29, 2024 11:51
@mmv08mmv08
pushed 9ef6e13
deps/bump
Status Success
Total duration 1m 32s
Artifacts –

ci_4337_gas_metering.yml

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