Skip to content
Rust

btor2: ignore super long names when parsing #174

Sign in to view logs

btor2: ignore super long names when parsing

btor2: ignore super long names when parsing #174

Triggered via push December 5, 2023 20:36
@ekiwiekiwi
pushed f5fb708
main
Status Failure
Total duration 51s
Artifacts –

test.yml

on: push
Check Semantic Versioning
13s
Check Semantic Versioning
Check Formatting
4s
Check Formatting
Matrix: Try Examples
Matrix: Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check Formatting
Process completed with exit code 1.