Benchmarking hotfix: context theorems & coq-lsp server path #69
K-dizzledbuild-and-test.yml
on: pull_request
Matrix: build-and-test
Matrix: Start a CI debug session if build or test fail
Annotations
18 warnings
|
build-and-test (ubuntu-latest, 4.14)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build-and-test (ubuntu-latest, 4.14):
src/coqLsp/coqLspConnector.ts#L82
Replace `CoqLspConnector.versioningErrorEvent,·message` with `⏎················CoqLspConnector.versioningErrorEvent,⏎················message⏎············`
|
|
build-and-test (ubuntu-latest, 4.14):
src/core/coqProofChecker.ts#L7
Replace `Uri·}·from·"../utils/uri";⏎import·{·EventLogger·}·from·"../logging/eventLogger` with `EventLogger·}·from·"../logging/eventLogger";⏎import·{·Uri·}·from·"../utils/uri`
|
|
build-and-test (ubuntu-latest, 4.14):
src/core/coqProofChecker.ts#L21
Replace `private·coqLspClient:·CoqLspClient,·private·eventLogger?:·EventLogger` with `⏎········private·coqLspClient:·CoqLspClient,⏎········private·eventLogger?:·EventLogger⏎····`
|
|
build-and-test (ubuntu-latest, 4.14):
src/core/coqProofChecker.ts#L85
Replace `'new-proof-check'` with `"new-proof-check"`
|
|
build-and-test (ubuntu-latest, 4.14):
src/extension/coqPilot.ts#L338
Replace `⏎············`${pluginId}.`·+·command,⏎············fn⏎········` with ``${pluginId}.`·+·command,·fn`
|
|
build-and-test (ubuntu-latest, 4.14):
src/extension/sessionState.ts#L5
Insert `import·{·CoqLspConnector·}·from·"../coqLsp/coqLspConnector";⏎`
|
|
build-and-test (ubuntu-latest, 4.14):
src/extension/sessionState.ts#L11
Delete `·PluginStatusIndicator·}·from·"./ui/pluginStatusIndicator";`
|
|
build-and-test (ubuntu-latest, 4.14):
src/extension/sessionState.ts#L12
Replace `import·{·CoqLspConnector·}·from·"../coqLsp/coqLspConnector";⏎import·{·EditorMessages,·showMessageToUser·}·from·"./ui/messages/editorMessages` with `····EditorMessages,⏎····showMessageToUser,⏎}·from·"./ui/messages/editorMessages";⏎import·{·PluginStatusIndicator·}·from·"./ui/pluginStatusIndicator`
|
|
build-and-test (macos-latest, 4.14):
src/coqLsp/coqLspConnector.ts#L82
Replace `CoqLspConnector.versioningErrorEvent,·message` with `⏎················CoqLspConnector.versioningErrorEvent,⏎················message⏎············`
|
|
build-and-test (macos-latest, 4.14):
src/core/coqProofChecker.ts#L7
Replace `Uri·}·from·"../utils/uri";⏎import·{·EventLogger·}·from·"../logging/eventLogger` with `EventLogger·}·from·"../logging/eventLogger";⏎import·{·Uri·}·from·"../utils/uri`
|
|
build-and-test (macos-latest, 4.14):
src/core/coqProofChecker.ts#L21
Replace `private·coqLspClient:·CoqLspClient,·private·eventLogger?:·EventLogger` with `⏎········private·coqLspClient:·CoqLspClient,⏎········private·eventLogger?:·EventLogger⏎····`
|
|
build-and-test (macos-latest, 4.14):
src/core/coqProofChecker.ts#L85
Replace `'new-proof-check'` with `"new-proof-check"`
|
|
build-and-test (macos-latest, 4.14):
src/extension/coqPilot.ts#L338
Replace `⏎············`${pluginId}.`·+·command,⏎············fn⏎········` with ``${pluginId}.`·+·command,·fn`
|
|
build-and-test (macos-latest, 4.14):
src/extension/sessionState.ts#L5
Insert `import·{·CoqLspConnector·}·from·"../coqLsp/coqLspConnector";⏎`
|
|
build-and-test (macos-latest, 4.14):
src/extension/sessionState.ts#L11
Delete `·PluginStatusIndicator·}·from·"./ui/pluginStatusIndicator";`
|
|
build-and-test (macos-latest, 4.14):
src/extension/sessionState.ts#L12
Replace `import·{·CoqLspConnector·}·from·"../coqLsp/coqLspConnector";⏎import·{·EditorMessages,·showMessageToUser·}·from·"./ui/messages/editorMessages` with `····EditorMessages,⏎····showMessageToUser,⏎}·from·"./ui/messages/editorMessages";⏎import·{·PluginStatusIndicator·}·from·"./ui/pluginStatusIndicator`
|
|
Start a CI debug session if build or test fail (ubuntu-latest, 4.14)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ubuntu-latest-build
Expired
|
27.4 MB |
sha256:a32f4367d1436699b1c2295c59f005ed5d9cb92017328c995c8a5c7c7bbdd21f
|
|