.github/workflows/pypi.yml

Remove z3 constraint solver option (#5055) #2289

Sign in to view logs

Triggered via push August 31, 2026 21:16

bruntib

master

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

Invalid workflow file: .github/workflows/pypi.yml#L1

(Line: 78, Col: 9): 'run' is already defined