sca: only replace constant one when necessary #801
ekiwitest.yml
on: push
Check Semantic Versioning of Patronus
25s
Check Formatting
6s
Matrix: Test BMC Tool
Matrix: Test Python Bindings
Matrix: Test E-Graph Rewrite Condition Synthesizer
Matrix: Test Simulator Tool
Matrix: Test SMT Simplifier
Matrix: Unit Tests
Annotations
2 errors and 2 warnings
|
Test SMT Simplifier (stable)
Process completed with exit code 101.
|
|
Unit Tests (stable)
Process completed with exit code 101.
|
|
Test Python Bindings (stable, 3.10)
No file matched to [/home/runner/work/patronus/patronus/**/*requirements*.txt,/home/runner/work/patronus/patronus/**/*requirements*.in,/home/runner/work/patronus/patronus/**/*constraints*.txt,/home/runner/work/patronus/patronus/**/*constraints*.in,/home/runner/work/patronus/patronus/**/pyproject.toml,/home/runner/work/patronus/patronus/**/uv.lock,/home/runner/work/patronus/patronus/**/*.py.lock]. The cache will never get invalidated. Make sure you have checked out the target repository and configured the cache-dependency-glob input correctly.
|
|
Test Python Bindings (stable, 3.10)
Empty workdir detected. This may cause unexpected behavior. You can enable ignore-empty-workdir to mute this warning.
|