Skip to content

Hotfix check/adjust subsorting for substitutions based on ==K terms #6901

Hotfix check/adjust subsorting for substitutions based on ==K terms

Hotfix check/adjust subsorting for substitutions based on ==K terms #6901

Triggered via pull request November 26, 2024 11:59
Status Cancelled
Total duration 50s
Artifacts

test.yml

on: pull_request
Formatting and Style
38s
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

2 errors
Formatting and Style
Canceling since a higher priority waiting request for 'Test-HOTFIX-subsort-k-equals-issue' exists
Formatting and Style
The operation was canceled.