Test Z3

Don't use self-hosted for deploy CI #48

Sign in to view logs

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

Triggered via pull request June 21, 2024 21:06

filipeom

opened #158

fix-deploy-ci

Status Success

Total duration 13m 22s

Artifacts –

test-z3.yml

on: pull_request