Merge pull request #941 from coq/cancel-event #1392
Annotations
11 warnings
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Run cd client && xvfb-run yarn test:
client/src/Decorations.ts#L3
'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/QuickFixProvider.ts#L2
'Command' is defined but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/QuickFixProvider.ts#L20
'token' is defined but never used. Allowed unused args must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/client.ts#L7
'integer' is defined but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L44
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L45
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L196
'res' is defined but never used. Allowed unused args must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L354
'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L364
'editor' is defined but never used. Allowed unused args must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/manualChecking.ts#L3
'commands' is defined but never used. Allowed unused vars must match /^_/u
|
Set up job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Checkout
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Use OCaml 4.14.x
1m 49s
1m 49s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install deps
4m 36s
4m 36s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build vscoq-language-server
5s
5s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Unit tests
8s
8s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/setup-node@v3
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run cd client && yarn run install:all && yarn run build:all && yarn run compile
52s
52s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run cd client && xvfb-run yarn test
1m 11s
1m 11s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run cat /tmp/vscoq_init_log.*
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Run actions/setup-node@v3
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Use OCaml 4.14.x
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Checkout
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading