Skip to content
Build and test

Build and test #51

Sign in to view logs

Build and test

Build and test #51

Manually triggered October 25, 2024 17:57
@K-dizzledK-dizzled
⁠ df91211
core-lsp-rework
Status Success
Total duration 6m 10s
Artifacts 1

build-and-test.yml

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

Annotations

6 warnings
build-and-test (ubuntu-latest, 4.14): src/benchmark/framework/parseDataset/coqProjectParser/implementation/parseCoqProject.ts#L100
Replace `⏎············`Successfully·parsed·"${filePath}":·${foundTheoremsLog}`⏎········` with ``Successfully·parsed·"${filePath}":·${foundTheoremsLog}``
build-and-test (ubuntu-latest, 4.14): src/benchmark/framework/structures/parsedCoqFile/parsedCoqFileData.ts#L90
Replace `⏎············"serializedTheoremsByNames",⏎············"documentVersion",⏎············"filePath",⏎········` with `"serializedTheoremsByNames",·"documentVersion",·"filePath"`
build-and-test (ubuntu-latest, 4.14): src/core/inspectSourceFile.ts#L95
Insert `⏎`
build-and-test (macos-latest, 4.14): src/benchmark/framework/parseDataset/coqProjectParser/implementation/parseCoqProject.ts#L100
Replace `⏎············`Successfully·parsed·"${filePath}":·${foundTheoremsLog}`⏎········` with ``Successfully·parsed·"${filePath}":·${foundTheoremsLog}``
build-and-test (macos-latest, 4.14): src/benchmark/framework/structures/parsedCoqFile/parsedCoqFileData.ts#L90
Replace `⏎············"serializedTheoremsByNames",⏎············"documentVersion",⏎············"filePath",⏎········` with `"serializedTheoremsByNames",·"documentVersion",·"filePath"`
build-and-test (macos-latest, 4.14): src/core/inspectSourceFile.ts#L95
Insert `⏎`

Artifacts

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