vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1 #118071
Triggered via pull request
February 25, 2025 16:23
Parrot7483
Parrot7483
opened
#385058
Status
Success
Total duration
1m 11s
Artifacts
–
nixpkgs-vet.yml
on: pull_request_target
get-merge-commit
/
resolve-merge-commit
8s
nixpkgs-vet
42s