Skip to content
CI

Combine "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" in new "tlaplus-lang" on VSCode Marketplace #457

Sign in to view logs

Combine "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" in new "tlaplus-lang" on VSCode Marketplace

Combine "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" in new "tlaplus-lang" on VSCode Marketplace #457

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macOS-latest)
43s
build (ubuntu-20.04)
1m 28s
build (windows-latest)
2m 35s
4m 46s