Afonso Fernandes comments

Repositories
Issues
Comments

Results 3 comments of


                                            Afonso Fernandes

Error-Trace modification/addition annotations broken

> @afonsonf Do you have plans to re-add the functionality that shows deleted set elements in the error trace view? > > https://github.com/tlaplus/vscode-tlaplus/blob/0e16f404f55a43abf6e681dce906a7c7cc34e127/resources/check-result-view.js#L334-L336 Hi, true I missed that part in...

Replace "alygin.vscode-tlaplus" and "alygin.vscode-tlaplus-nightly" on VSCode Marketplace with TLA+ Foundation owned publisher

> @afonsonf What's your vscode marketplace id? Hi, my id is 35e6c390-a822-6fb6-8871-861e28fbe73f

Add organization name to attribute list when entity definition becomes clearer

Hello, I'm a new contributor to OpenTelemetry and I'd like to take on this issue I've already begun exploring the issue and I plan to submit a draft PR for...