Skip to content
Test Z3

Allow manual dispatch for solver workflows #427

Sign in to view logs

Allow manual dispatch for solver workflows

Allow manual dispatch for solver workflows #427

Triggered via pull request February 5, 2025 15:41
@filipeomfilipeom
synchronize #274
filipeom:workflow_dispatch
Status Success
Total duration 15m 24s
Artifacts –

test-z3.yml

on: pull_request
test-z3
15m 14s
test-z3
Fit to window
Zoom out
Zoom in