Skip to content
Test

Booster implies: discharge leftover consequent obligations under the antecedent via SMT #7225

Sign in to view logs

Booster implies: discharge leftover consequent obligations under the antecedent via SMT

Booster implies: discharge leftover consequent obligations under the antecedent via SMT #7225

Re-run triggered June 17, 2026 21:03
@ehildenbehildenb
#4156
implies-reasoning
Status Cancelled
Total duration 39m 27s
Artifacts –

test.yml

on: pull_request
Formatting and Style
1m 26s
Formatting and Style
Nix / Integration
39m 16s
Nix / Integration
Stack / Unit Tests
24m 23s
Stack / Unit Tests
HLint
1m 59s
HLint
Matrix: Nix / Unit Tests
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Nix / Integration
Canceling since a higher priority waiting request for Test-implies-reasoning exists
Nix / Integration
The operation was canceled.
Test
Canceling since a higher priority waiting request for Test-implies-reasoning exists