[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[tlaplus] Re: VSCode Extension Update
Deleted the repo with the file as now builds can be download from the ci artifacts: https://github.com/tlaplus/vscode-tlaplus/actions/runs/5026680030
A sexta-feira, 19 de maio de 2023 à(s) 16:46:19 UTC+1, Afonso Fernandes escreveu:
I've worked on an update of the build window in the TLA VSCode Extension and would like to gather some feedback (if you know TS or React it would also be nice to have some reviews).
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/eb3b5eda-fd8a-41aa-89ae-f23a5ecf7b3cn%40googlegroups.com.