vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1 #649260
Triggered via pull request
February 25, 2025 16:23
Parrot7483
Parrot7483
opened
#385058
Status
Success
Total duration
14s
Artifacts
–