Skip to content
Test Z3

Small fixes #345

Sign in to view logs

Small fixes

Small fixes #345

Triggered via pull request November 6, 2024 14:37
@filipeomfilipeom
opened #247
minor-fixes
Status Success
Total duration 18m 38s
Artifacts –

test-z3.yml

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