Skip to content
Test cvc5

Make Ptr a record #13

Sign in to view logs

Make Ptr a record

Make Ptr a record #13

Triggered via push June 21, 2024 12:47
@filipeomfilipeom
pushed 42c2eb3
main
Status Success
Total duration 2m 47s
Artifacts –

test-cvc5.yml

on: push
test-cvc5
2m 37s
test-cvc5
Fit to window
Zoom out
Zoom in