Skip to content
Test Z3

Update README.md #343

Sign in to view logs

Update README.md

Update README.md #343

Triggered via pull request November 6, 2024 13:45
@filipeomfilipeom
opened #246
update-readme
Status Success
Total duration 19m 30s
Artifacts –

test-z3.yml

on: pull_request
test-z3
19m 18s
test-z3
Fit to window
Zoom out
Zoom in