Skip to content

Fix #5488: change default for logging to +nowrap #6632

Fix #5488: change default for logging to +nowrap

Fix #5488: change default for logging to +nowrap #6632

Triggered via pull request August 3, 2023 16:04
Status Cancelled
Total duration 3m 5s
Artifacts

bootstrap.yml

on: pull_request
Matrix: bootstrap
Fit to window
Zoom out
Zoom in

Annotations

10 errors
Bootstrap ubuntu-latest ghc-9.0.2
Canceling since a higher priority waiting request for 'refs/pull/9160/merge-Bootstrap' exists
Bootstrap ubuntu-latest ghc-9.0.2
The operation was canceled.
Bootstrap ubuntu-latest ghc-8.10.7
Canceling since a higher priority waiting request for 'refs/pull/9160/merge-Bootstrap' exists
Bootstrap ubuntu-latest ghc-8.10.7
The operation was canceled.
Bootstrap macos-latest ghc-9.2.7
Canceling since a higher priority waiting request for 'refs/pull/9160/merge-Bootstrap' exists
Bootstrap macos-latest ghc-9.2.7
The operation was canceled.
Bootstrap ubuntu-latest ghc-9.4.4
Canceling since a higher priority waiting request for 'refs/pull/9160/merge-Bootstrap' exists
Bootstrap ubuntu-latest ghc-9.4.4
The operation was canceled.
Bootstrap ubuntu-latest ghc-9.2.7
Canceling since a higher priority waiting request for 'refs/pull/9160/merge-Bootstrap' exists
Bootstrap ubuntu-latest ghc-9.2.7
The operation was canceled.