Skip to content
Test Z3

Make Ptr a record #45

Sign in to view logs

Make Ptr a record

Make Ptr a record #45

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

test-z3.yml

on: push
test-z3
13m 13s
test-z3
Fit to window
Zoom out
Zoom in