Skip to content
CI

Enhance MCPServer to support additional Java options for TLC execution. #1052

Sign in to view logs

Enhance MCPServer to support additional Java options for TLC execution.

Enhance MCPServer to support additional Java options for TLC execution. #1052

Triggered via pull request December 5, 2025 01:01
@lemmylemmy
opened #474
mku-MCPExtraJavaOpts
Status Success
Total duration 5m 7s
Artifacts 1

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

30 warnings
build (macOS-latest): src/declarations/tlaDeclarations.ts#L16
Expected indentation of 4 spaces but found 2
build (macOS-latest): src/declarations/tlaDeclarations.ts#L9
Expected indentation of 4 spaces but found 2
build (macOS-latest): src/declarations/tlaDeclarations.ts#L8
Expected indentation of 8 spaces but found 4
build (macOS-latest): src/declarations/tlaDeclarations.ts#L7
Expected indentation of 8 spaces but found 4
build (macOS-latest): src/declarations/tlaDeclarations.ts#L6
Strings must use singlequote
build (macOS-latest): src/declarations/tlaDeclarations.ts#L6
Expected indentation of 4 spaces but found 2
build (macOS-latest): src/declarations/tlaDeclarations.ts#L4
Strings must use singlequote
build (macOS-latest): src/declarations/tlaDeclarations.ts#L3
Strings must use singlequote
build (macOS-latest): src/declarations/tlaDeclarations.ts#L2
Strings must use singlequote
build (macOS-latest): src/declarations/tlaDeclarations.ts#L1
Strings must use singlequote
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L16
Expected indentation of 4 spaces but found 2
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L9
Expected indentation of 4 spaces but found 2
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L8
Expected indentation of 8 spaces but found 4
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L7
Expected indentation of 8 spaces but found 4
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L6
Strings must use singlequote
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L6
Expected indentation of 4 spaces but found 2
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L4
Strings must use singlequote
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L3
Strings must use singlequote
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L2
Strings must use singlequote
build (ubuntu-latest): src/declarations/tlaDeclarations.ts#L1
Strings must use singlequote
build (windows-latest): src/declarations/tlaDeclarations.ts#L16
Expected indentation of 4 spaces but found 2
build (windows-latest): src/declarations/tlaDeclarations.ts#L9
Expected indentation of 4 spaces but found 2
build (windows-latest): src/declarations/tlaDeclarations.ts#L8
Expected indentation of 8 spaces but found 4
build (windows-latest): src/declarations/tlaDeclarations.ts#L7
Expected indentation of 8 spaces but found 4
build (windows-latest): src/declarations/tlaDeclarations.ts#L6
Strings must use singlequote
build (windows-latest): src/declarations/tlaDeclarations.ts#L6
Expected indentation of 4 spaces but found 2
build (windows-latest): src/declarations/tlaDeclarations.ts#L4
Strings must use singlequote
build (windows-latest): src/declarations/tlaDeclarations.ts#L3
Strings must use singlequote
build (windows-latest): src/declarations/tlaDeclarations.ts#L2
Strings must use singlequote
build (windows-latest): src/declarations/tlaDeclarations.ts#L1
Strings must use singlequote

Artifacts

Produced during runtime
Name Size Digest
vscode-tlaplus-ci.vsix Expired
8.9 MB
sha256:470378d9a802acea43e69f695fac3e90715bcc7b93265ed0553d297329868339