Skip to content
Test

4043 filter smt lemmas use only opaque use equations symmetrically #6781

Sign in to view logs

4043 filter smt lemmas use only opaque use equations symmetrically

4043 filter smt lemmas use only opaque use equations symmetrically #6781

Triggered via pull request October 3, 2024 00:27
@jbertholdjberthold
opened #4054
4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetrically
Status Failure
Total duration 1m 15s
Artifacts –

test.yml

on: pull_request
Formatting and Style
1m 4s
Formatting and Style
Nix / Integration
0s
Nix / Integration
Stack / Unit Tests
0s
Stack / Unit Tests
HLint
0s
HLint
Matrix: Nix / Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

1 error
Formatting and Style
Process completed with exit code 1.