Skip to content

vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1 #60416

vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1

vscode-extensions.fstarlang.fstar-vscode-assistant: init at 0.17.1 #60416

Triggered via pull request February 25, 2025 16:23
Status Success
Total duration 43s
Artifacts

nix-parse-v2.yml

on: pull_request_target
get-merge-commit  /  resolve-merge-commit
5s
get-merge-commit / resolve-merge-commit
nix-files-parseable-check
16s
nix-files-parseable-check
Fit to window
Zoom out
Zoom in