Test Z3

model parsing draft #372

Sign in to view logs

Triggered via pull request December 1, 2024 23:25

filipeom

synchronize #254

redianthus:model-parsing

Status Success

Total duration 19m 8s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-z3.yml

on: pull_request