Skip to content
Rust

various improvements and fixes from the sca branch #791

Sign in to view logs

various improvements and fixes from the sca branch

various improvements and fixes from the sca branch #791

Triggered via push February 13, 2026 17:22
@ekiwiekiwi
pushed fc1c55b
main
Status Success
Total duration 2m 56s
Artifacts –

test.yml

on: push
Check Semantic Versioning of Patronus
26s
Check Semantic Versioning of Patronus
Check Formatting
7s
Check Formatting
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
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
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.