Skip to content
test

Check if Certora Key is set in the repo for CI (#52) #3

Sign in to view logs

Check if Certora Key is set in the repo for CI (#52)

Check if Certora Key is set in the repo for CI (#52) #3

Triggered via push July 1, 2024 20:28
@andrewwahidandrewwahid
pushed d0083e0
main
Status Success
Total duration 55s
Artifacts –

test_contracts.yml

on: push
verify
46s
verify
Fit to window
Zoom out
Zoom in