Get proof blocks api #1428
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/extension.ts#L46
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L47
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L206
'res' is defined but never used. Allowed unused args must match /^_/u
|
Run cd client && xvfb-run yarn test:
client/src/extension.ts#L364
'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#L374
'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
|
Run cd client && xvfb-run yarn test:
client/src/manualChecking.ts#L4
'workspace' is defined but never used. Allowed unused vars must match /^_/u
|
Set up job
1s
1s
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
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.
Use OCaml 4.14.x
1m 33s
1m 33s
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 25s
4m 25s
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
7s
7s
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
48s
48s
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 6s
1m 6s
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
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.
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