Skip to content
Rust

fix tests #664

Sign in to view logs

fix tests

fix tests #664

Triggered via push January 16, 2025 19:31
@ekiwiekiwi
pushed 2a7e820
rtl-repair-changes
Status Failure
Total duration 1m 20s
Artifacts –

test.yml

on: push
Check Semantic Versioning of Patronus
19s
Check Semantic Versioning of Patronus
Check Formatting
5s
Check Formatting
Matrix: Test BMC Tool
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

6 errors
Check Semantic Versioning of Patronus
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
Test Simulator Tool (stable)
Process completed with exit code 101.
Unit Tests (stable)
Process completed with exit code 101.
Test BMC Tool (stable, yices2)
Process completed with exit code 101.
Test BMC Tool (stable, bitwuzla)
The job was canceled because "stable_yices2" failed.
Test BMC Tool (stable, bitwuzla)
The operation was canceled.