Fix notes plugin: avoid crashes on missing note definitions and improve lookup handling #12664
Annotations
1 error and 10 warnings
|
Test ghcide
Process completed with exit code 1.
|
|
Build
In the use of ‘tail’
|
|
Build
In the use of ‘tail’
|
|
Build
In the use of ‘head’
|
|
Build
In the use of ‘head’
|
|
Build
In the use of ‘tail’
|
|
Build
In the use of ‘head’
|
|
Build
In the use of ‘head’
|
|
Build
In the use of ‘head’
|
|
Build
In the use of ‘tail’
|
|
Build
In the use of ‘head’
|
Loading