Skip to content
Test Z3

Fix CI #322

Sign in to view logs

Fix CI

Fix CI #322

Triggered via pull request October 24, 2024 06:54
@filipeomfilipeom
synchronize #239
fix-ci
Status Success
Total duration 18m 34s
Artifacts –

test-z3.yml

on: pull_request
test-z3
18m 25s
test-z3
Fit to window
Zoom out
Zoom in