Skip to content
Forge Integration Tests

Change name of isValidatorApprove() #10

Sign in to view logs

Change name of isValidatorApprove()

Change name of isValidatorApprove() #10

Triggered via push April 19, 2024 09:40
@Roy-CertoraRoy-Certora
pushed 0f30967
main
Status Success
Total duration 34s
Artifacts –

test-integration.yml

on: push
Integration Tests
23s
Integration Tests
Fit to window
Zoom out
Zoom in