Test Z3

Fix synopsis #445

Sign in to view logs

Summary
Jobs
- test-z3
Run details
- Usage
- Workflow file

Triggered via pull request February 11, 2025 12:20

filipeom

opened #283

filipeom:fix-synopsis

Status Success

Total duration 18m 52s

Artifacts –

test-z3.yml

on: pull_request