Skip to content

Handle cvc5 version output on stderr in macOS CI - #1

Closed
pleich with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-failing-github-actions-job
Closed

Handle cvc5 version output on stderr in macOS CI#1
pleich with Copilot wants to merge 2 commits into
mainfrom
copilot/fix-failing-github-actions-job

Handle SMT solver versions emitted on stderr

c225ed9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Rust Format & Cargo Check
succeeded Sep 24, 2026 in 42s