Skip to content
Test Z3

Fix model parsing #518

Sign in to view logs

Fix model parsing

Fix model parsing #518

Triggered via pull request March 6, 2025 19:43
@filipeomfilipeom
opened #307
filipeom:fix-model-parsing
Status Success
Total duration 15m 6s
Artifacts –

test-z3.yml

on: pull_request
test-z3
14m 57s
test-z3
Fit to window
Zoom out
Zoom in