Skip to content

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

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

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

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

check-nix-format.yml

on: pull_request_target
get-merge-commit  /  resolve-merge-commit
4s
get-merge-commit / resolve-merge-commit
nixfmt-check
50s
nixfmt-check
Fit to window
Zoom out
Zoom in