Skip to content
Test

docs: update halmos command in readme (#152) #308

Sign in to view logs

docs: update halmos command in readme (#152)

docs: update halmos command in readme (#152) #308

Triggered via push July 30, 2023 00:22
@daejunparkdaejunpark
pushed 48e7800
main
Status Success
Total duration 7m 9s
Artifacts –

test.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in