ci: extract bitwuzla setup #554
ekiwitest.yml
on: push
Check Formatting
Check Semantic Versioning of Patronus
Matrix: Test BMC Tool
Waiting for pending jobs
Matrix: Test E-Graph Rewrite Condition Synthesizer
Waiting for pending jobs
Matrix: Test Simulator Tool
Waiting for pending jobs
Matrix: Unit Tests
Waiting for pending jobs
Annotations
1 error
|
Invalid workflow file:
.github/workflows/test.yml#L66
The workflow is not valid. .github/workflows/test.yml (Line: 66, Col: 20): The expression is not closed. An unescaped ${{ sequence was found, but the closing }} sequence was not found.
|