Test Z3

Exclude Altergo mappings from coverage report #495

Sign in to view logs

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

Triggered via push February 28, 2025 21:45

github-merge-queue[bot]

main

Status Success

Total duration 14m 50s

Artifacts –

test-z3.yml

on: push