Merge pull request #1020 from coq/parse_vos #1518
rtetleyci.yml
on: push
Matrix: build-extension
Matrix: dev-setup-opam
Matrix: install-opam
Matrix: nix-dev-build
install-windows
0s
publish-extension
1m 13s
create-release
4s
Annotations
60 warnings
|
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#L206
'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#L365
'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#L375
'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, 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#L206
'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#L365
'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#L375
'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.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#L206
'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#L365
'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#L375
'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, 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#L206
'res' is defined but never used. Allowed unused args must match /^_/u
|
|
install-opam (ubuntu-latest, 4.14.x, dev):
client/src/extension.ts#L365
'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#L375
'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#L206
'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#L365
'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#L375
'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#L206
'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#L365
'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#L375
'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
|