Skip to content

DO NOT MERGE - CI TEST #7

DO NOT MERGE - CI TEST

DO NOT MERGE - CI TEST #7

Triggered via pull request April 18, 2024 19:43
@hristo-grigorovhristo-grigorov
synchronize #1
certora
Status Success
Total duration 1m 59s
Artifacts

test-fuzz.yml

on: pull_request
Fit to window
Zoom out
Zoom in