Skip to content

Merge pull request #3673 from mtzguido/fixvscode #120

Merge pull request #3673 from mtzguido/fixvscode

Merge pull request #3673 from mtzguido/fixvscode #120

Annotations

1 warning

nix  /  fstar-nix

succeeded Jan 11, 2025 in 18m 6s