Skip to content
Forge Invariant Tests

add verification confs and update workflow #9

Sign in to view logs

add verification confs and update workflow

add verification confs and update workflow #9

Triggered via push April 19, 2024 09:35
@Roy-CertoraRoy-Certora
pushed 502ad55
main
Status Success
Total duration 4m 16s
Artifacts –

test-invariant.yml

on: push
Invariant Tests
4m 4s
Invariant Tests
Fit to window
Zoom out
Zoom in