ci: add a retry action to avoid sporadic fails #1558
rtetleyci.yml
on: pull_request
Matrix: build-extension
Matrix: dev-setup-opam
Matrix: install-opam
Matrix: nix-dev-build
install-windows
0s
publish-extension
1m 14s
create-release
0s
Annotations
37 errors and 60 warnings
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0)
Process completed with exit code 1.
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0)
Process completed with exit code 1.
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0)
Process completed with exit code 1.
|
|
install-opam (ubuntu-latest, 4.14.x, dev)
Process completed with exit code 1.
|
|
nix-dev-build (ubuntu-latest, 8-20, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /home/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/home/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:39:03 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:40:16 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:41:24 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:42:31 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:43:39 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (ubuntu-latest, 8-20, dev)
Process completed with exit code 1.
|
|
nix-dev-build (ubuntu-latest, 8-20, fatalwarnings)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /home/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/home/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:39:06 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:40:18 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:41:25 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:42:33 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:43:41 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (ubuntu-latest, 8-20, fatalwarnings)
Process completed with exit code 1.
|
|
nix-dev-build (ubuntu-latest, master, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /home/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/home/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:40:03 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:41:19 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:41:33 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:42:40 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:43:48 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (ubuntu-latest, master, dev)
Process completed with exit code 1.
|
|
nix-dev-build (ubuntu-latest, 8-18, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /home/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/home/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:39:19 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:40:31 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:41:38 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:42:46 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:43:54 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (ubuntu-latest, 8-18, dev)
Process completed with exit code 1.
|
|
nix-dev-build (ubuntu-latest, 8-19, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /home/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/home/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:39:12 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:40:35 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:41:43 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:42:51 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:43:59 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (ubuntu-latest, 8-19, dev)
Process completed with exit code 1.
|
|
nix-dev-build (ubuntu-latest, 8-18, fatalwarnings)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /home/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/home/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:39:23 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:40:38 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:41:45 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:42:53 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:44:01 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (ubuntu-latest, 8-18, fatalwarnings)
Process completed with exit code 1.
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev)
Process completed with exit code 1.
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
The job was canceled because "ubuntu-latest_4_14_x_dev" failed.
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, 8-18, fatalwarnings)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:40:17 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:41:27 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:42:38 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:43:44 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:44:53 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, 8-18, fatalwarnings)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, 8-19, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:41:09 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:42:27 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:43:32 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:44:37 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:45:42 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, 8-19, dev)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, 8-19, fatalwarnings)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:41:09 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:42:25 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:43:34 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:44:41 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:45:48 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, 8-19, fatalwarnings)
Process completed with exit code 1.
|
|
nix-dev-build (ubuntu-latest, master, fatalwarnings)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /home/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/home/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:41:07 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:42:26 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:43:34 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:44:42 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:45:50 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (ubuntu-latest, master, fatalwarnings)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, 8-20, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:41:46 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:42:56 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:44:00 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:45:04 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:46:08 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, 8-20, dev)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, 8-18, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:41:31 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:42:52 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:44:02 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:45:15 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:46:25 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, 8-18, dev)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, 8-20, fatalwarnings)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:51:37 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:52:54 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:54:03 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:55:09 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:56:17 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, 8-20, fatalwarnings)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, master, dev)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:53:32 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:54:48 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:55:57 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:57:10 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:58:18 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, master, dev)
Process completed with exit code 1.
|
|
nix-dev-build (macos-latest, master, fatalwarnings)
Process returned exit code 1
Launched as "bash --noprofile --norc -eo pipefail /Users/runner/work/_actions/Wandalen/wretry.action/v3.8.0_js_action/src/script.sh"
Launched at "/Users/runner/work/vscoq/vscoq"
Attempts exhausted, made 5 attempts :
Attempt #1 started at : 09:55:14 GMT+0000 (Coordinated Universal Time)
Attempt #2 started at : 09:56:30 GMT+0000 (Coordinated Universal Time)
Attempt #3 started at : 09:57:36 GMT+0000 (Coordinated Universal Time)
Attempt #4 started at : 09:58:42 GMT+0000 (Coordinated Universal Time)
Attempt #5 started at : 09:59:51 GMT+0000 (Coordinated Universal Time)
|
|
nix-dev-build (macos-latest, master, fatalwarnings)
Process completed with exit code 1.
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/Decorations.ts#L3
'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/QuickFixProvider.ts#L2
'Command' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/QuickFixProvider.ts#L20
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/extension.ts#L46
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/extension.ts#L47
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/extension.ts#L194
'res' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/extension.ts#L353
'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/extension.ts#L363
'editor' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/manualChecking.ts#L3
'commands' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.20.0):
client/src/manualChecking.ts#L4
'workspace' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/Decorations.ts#L3
'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/QuickFixProvider.ts#L2
'Command' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/QuickFixProvider.ts#L20
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/extension.ts#L46
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/extension.ts#L47
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/extension.ts#L194
'res' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/extension.ts#L353
'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/extension.ts#L363
'editor' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/manualChecking.ts#L3
'commands' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.18.0):
client/src/manualChecking.ts#L4
'workspace' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/Decorations.ts#L3
'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/QuickFixProvider.ts#L2
'Command' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/QuickFixProvider.ts#L20
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/extension.ts#L46
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/extension.ts#L47
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/extension.ts#L194
'res' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/extension.ts#L353
'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/extension.ts#L363
'editor' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/manualChecking.ts#L3
'commands' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, 8.19.0):
client/src/manualChecking.ts#L4
'workspace' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/Decorations.ts#L3
'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/QuickFixProvider.ts#L2
'Command' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/QuickFixProvider.ts#L20
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L46
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L47
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L194
'res' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L353
'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L363
'editor' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/manualChecking.ts#L3
'commands' is defined but never used. Allowed unused vars must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/manualChecking.ts#L4
'workspace' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/Decorations.ts#L3
'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/QuickFixProvider.ts#L2
'Command' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/QuickFixProvider.ts#L20
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L46
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L47
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L194
'res' is defined but never used. Allowed unused args must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L353
'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L363
'editor' is defined but never used. Allowed unused args must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/manualChecking.ts#L3
'commands' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, dev):
client/src/manualChecking.ts#L4
'workspace' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/Decorations.ts#L3
'DidChangeConfigurationParams' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/QuickFixProvider.ts#L2
'Command' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/QuickFixProvider.ts#L20
'token' is defined but never used. Allowed unused args must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/extension.ts#L46
'makeVersionedDocumentId' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/extension.ts#L47
'isMouseOrKeyboardEvent' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/extension.ts#L194
'res' is defined but never used. Allowed unused args must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/extension.ts#L353
'goalsHook' is assigned a value but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/extension.ts#L363
'editor' is defined but never used. Allowed unused args must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/manualChecking.ts#L3
'commands' is defined but never used. Allowed unused vars must match /^_/u
|
|
dev-setup-opam (ubuntu-latest, 4.14.x, fatalwarnings):
client/src/manualChecking.ts#L4
'workspace' is defined but never used. Allowed unused vars must match /^_/u
|