Skip to content
CI

Replace "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" #466

Sign in to view logs

Replace "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly"

Replace "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" #466

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macOS-latest)
54s
build (ubuntu-20.04)
45s
build (windows-latest)
2m 0s
3m 39s