Skip to content
CI

Fix formatter failing on specs that EXTENDS CommunityModules #1124

Sign in to view logs

Fix formatter failing on specs that EXTENDS CommunityModules

Fix formatter failing on specs that EXTENDS CommunityModules #1124

Triggered via pull request February 15, 2026 09:42
@FedericoPonziFedericoPonzi
opened #496
FedericoPonzi:fponzi/formatter-cm
Status Success
Total duration 3m 32s
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#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 (macOS-latest): src/debugger/debugging.ts#L63
Unexpected any. Specify a different type
build (macOS-latest): src/debugger/debugging.ts#L62
Unexpected any. Specify a different type
build (macOS-latest): src/debugger/debugging.ts#L60
Unexpected any. Specify a different type
build (macOS-latest): src/debugger/debugging.ts#L59
Unexpected any. Specify a different type
build (macOS-latest): src/debugger/debugging.ts#L55
This line has a length of 138. Maximum allowed is 120
build (macOS-latest): src/commands/checkModel.ts#L90
This line has a length of 125. Maximum allowed is 120
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 (ubuntu-latest): src/debugger/debugging.ts#L63
Unexpected any. Specify a different type
build (ubuntu-latest): src/debugger/debugging.ts#L62
Unexpected any. Specify a different type
build (ubuntu-latest): src/debugger/debugging.ts#L60
Unexpected any. Specify a different type
build (ubuntu-latest): src/debugger/debugging.ts#L59
Unexpected any. Specify a different type
build (ubuntu-latest): src/debugger/debugging.ts#L55
This line has a length of 138. Maximum allowed is 120
build (ubuntu-latest): src/commands/checkModel.ts#L90
This line has a length of 125. Maximum allowed is 120
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
build (windows-latest): src/debugger/debugging.ts#L63
Unexpected any. Specify a different type
build (windows-latest): src/debugger/debugging.ts#L62
Unexpected any. Specify a different type
build (windows-latest): src/debugger/debugging.ts#L60
Unexpected any. Specify a different type
build (windows-latest): src/debugger/debugging.ts#L59
Unexpected any. Specify a different type
build (windows-latest): src/debugger/debugging.ts#L55
This line has a length of 138. Maximum allowed is 120
build (windows-latest): src/commands/checkModel.ts#L90
This line has a length of 125. Maximum allowed is 120

Artifacts

Produced during runtime
Name Size Digest
vscode-tlaplus-ci.vsix
14.1 MB
sha256:749283bae566e403dc2d3eeaeb640cc61177951b7e0692074a18d23e5b75ce88