Merge pull request #533 from coq-community/bug/goal-view-notif #559
Annotations
3 warnings and 1 notice
|
client/src/test/runTest.ts#L25
Object Literal Property name `vscoq.path` must match one of the following formats: camelCase
|
|
client/src/test/runTest.ts#L26
Object Literal Property name `vscoq.args` must match one of the following formats: camelCase
|
|
client/src/test/runTest.ts#L27
Object Literal Property name `vscoq.proof.mode` must match one of the following formats: camelCase
|
|
|
The logs for this run have expired and are no longer available.
Loading