Skip to content
Release

Restore '>>' in MC panel's counterexample to navigate to the linked a… #401

Sign in to view logs

Restore '>>' in MC panel's counterexample to navigate to the linked a…

Restore '>>' in MC panel's counterexample to navigate to the linked a… #401

Triggered via push January 20, 2026 21:06
@FedericoPonziFedericoPonzi
pushed 065a5d9
master
Status Success
Total duration 2m 15s
Artifacts 1

release.yml

on: push
check if VSCODE_MARKETPLACE_TLAPLUS_TOKEN is set in github secrets
3s
check if VSCODE_MARKETPLACE_TLAPLUS_TOKEN is set in github secrets
build
2m 4s
build
Fit to window
Zoom out
Zoom in

Annotations

12 warnings
check if VSCODE_MARKETPLACE_TLAPLUS_TOKEN is set in github secrets
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build: src/declarations/tlaDeclarations.ts#L6
Expected indentation of 4 spaces but found 2
build: src/declarations/tlaDeclarations.ts#L4
Strings must use singlequote
build: src/declarations/tlaDeclarations.ts#L3
Strings must use singlequote
build: src/declarations/tlaDeclarations.ts#L2
Strings must use singlequote
build: src/declarations/tlaDeclarations.ts#L1
Strings must use singlequote
build: src/debugger/debugging.ts#L61
Unexpected any. Specify a different type
build: src/debugger/debugging.ts#L60
Unexpected any. Specify a different type
build: src/debugger/debugging.ts#L58
Unexpected any. Specify a different type
build: src/debugger/debugging.ts#L57
Unexpected any. Specify a different type
build: src/debugger/debugging.ts#L53
This line has a length of 138. Maximum allowed is 120
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size Digest
vscode-tlaplus-release-1.7.0.vsix
8.96 MB
sha256:30d354e1cfd33730a4fdb34995825609e1c6f9c848749804db299bb1f53954e2