Skip to content

rename sym -> dse

rename sym -> dse #517

Triggered via push December 3, 2024 16:24
Status Failure
Total duration 4m 2s
Artifacts

test.yml

on: push
Check Semantic Versioning
21s
Check Semantic Versioning
Check Formatting
4s
Check Formatting
Matrix: Test BMC Example
Matrix: Test SIM Example
Matrix: Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Check Formatting
Process completed with exit code 1.
Check Semantic Versioning
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1