Updating vscode-test #858
Annotations
7 warnings and 1 notice
|
Run cd client && xvfb-run yarn test:
client/src/test/runTest.ts#L25
Object Literal Property name `vscoq.path` must match one of the following formats: camelCase
|
|
Run cd client && xvfb-run yarn test:
client/src/test/runTest.ts#L26
Object Literal Property name `vscoq.args` must match one of the following formats: camelCase
|
|
Run cd client && xvfb-run yarn test:
client/src/test/runTest.ts#L27
Object Literal Property name `vscoq.proof.mode` must match one of the following formats: camelCase
|
|
Run cd client && xvfb-run yarn test:
client/src/utilities/versioning.ts#L32
Object Literal Property name `2.0.0` must match one of the following formats: camelCase
|
|
Run cd client && xvfb-run yarn test:
client/src/utilities/versioning.ts#L33
Object Literal Property name `2.0.1` must match one of the following formats: camelCase
|
|
Run cd client && xvfb-run yarn test:
client/src/utilities/versioning.ts#L34
Object Literal Property name `2.0.2` must match one of the following formats: camelCase
|
|
Run cd client && xvfb-run yarn test:
client/src/utilities/versioning.ts#L35
Object Literal Property name `2.0.3` must match one of the following formats: camelCase
|
|
Use OCaml 4.13.x
An error has been caught in some system package index files, so the system package index files have been re-synchronised, and the system package installation has been retried: the process '/usr/bin/sudo' failed with exit code 100
|
The logs for this run have expired and are no longer available.
Loading