Skip to content
Build and test

Fix bug with dublication of the output channel #39

Sign in to view logs

Fix bug with dublication of the output channel

Fix bug with dublication of the output channel #39

Triggered via pull request October 2, 2024 08:52
@K-dizzledK-dizzled
opened #42
fix-output-channel
Status Success
Total duration 13m 14s
Artifacts 1

build-and-test.yml

on: pull_request
Matrix: build-and-test
Matrix: Start a CI debug session if build or test fail
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
build-and-test (ubuntu-latest, 4.14): src/coqParser/parseCoqFile.ts#L89
Delete `·`
build-and-test (ubuntu-latest, 4.14): src/coqParser/parseCoqFile.ts#L112
Delete `·`
build-and-test (ubuntu-latest, 4.14): src/coqParser/parsedTypes.ts#L3
Insert `⏎`
build-and-test (ubuntu-latest, 4.14): src/core/completionGenerator.ts#L340
Delete `,`
build-and-test (ubuntu-latest, 4.14): src/core/completionGenerator.ts#L343
Replace `?.rankContextTheorems(fileTheorems,·completionContext).slice(0,·amountOfPremises)·??⏎·······` with `⏎············?.rankContextTheorems(fileTheorems,·completionContext)⏎············.slice(0,·amountOfPremises)·??`
build-and-test (ubuntu-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L15
Replace `⏎····implements·ContextTheoremsRanker⏎{····` with `·implements·ContextTheoremsRanker·{`
build-and-test (ubuntu-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L30
Delete `⏎`
build-and-test (ubuntu-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L39
Delete `⏎`
build-and-test (ubuntu-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L41
Insert `⏎················`
build-and-test (ubuntu-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L42
Replace `(token)·=>·token·!==·"#"·&&·token·!==·":"·&&·token·!==·""` with `⏎····················(token)·=>·token·!==·"#"·&&·token·!==·":"·&&·token·!==·""⏎················`
build-and-test (macos-latest, 4.14): src/coqParser/parseCoqFile.ts#L89
Delete `·`
build-and-test (macos-latest, 4.14): src/coqParser/parseCoqFile.ts#L112
Delete `·`
build-and-test (macos-latest, 4.14): src/coqParser/parsedTypes.ts#L3
Insert `⏎`
build-and-test (macos-latest, 4.14): src/core/completionGenerator.ts#L340
Delete `,`
build-and-test (macos-latest, 4.14): src/core/completionGenerator.ts#L343
Replace `?.rankContextTheorems(fileTheorems,·completionContext).slice(0,·amountOfPremises)·??⏎·······` with `⏎············?.rankContextTheorems(fileTheorems,·completionContext)⏎············.slice(0,·amountOfPremises)·??`
build-and-test (macos-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L15
Replace `⏎····implements·ContextTheoremsRanker⏎{····` with `·implements·ContextTheoremsRanker·{`
build-and-test (macos-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L30
Delete `⏎`
build-and-test (macos-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L39
Delete `⏎`
build-and-test (macos-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L41
Insert `⏎················`
build-and-test (macos-latest, 4.14): src/core/contextTheoremRanker/CosineContextTheoremRanker.ts#L42
Replace `(token)·=>·token·!==·"#"·&&·token·!==·":"·&&·token·!==·""` with `⏎····················(token)·=>·token·!==·"#"·&&·token·!==·":"·&&·token·!==·""⏎················`

Artifacts

Produced during runtime
Name Size
ubuntu-latest-build
22.3 MB