You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I've seen this 2 or 3 times I think. 9.0.2 ubuntu-latest. I'm gonna try and look at it.
ghcide
code actions
extend import actions
with checkAll
extend single line import with type: OK (2.42s)
boot
boot-def-test: FAIL
Exception: Timed out waiting to receive a message from the server.
Last message received:
{
"jsonrpc": "2.0",
"method": "kick/done",
"params": [
"/tmp/extra-dir-65308127230959/C.hs"
]
}
Use -p '/boot-def-test/' to rerun this test only.
The text was updated successfully, but these errors were encountered:
I've seen this 2 or 3 times I think. 9.0.2 ubuntu-latest. I'm gonna try and look at it.
The text was updated successfully, but these errors were encountered: