Skip to content
CI

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macOS-latest)
51s
build (ubuntu-20.04)
45s
build (windows-latest)
1m 47s
3m 23s