Merge pull request #3673 from mtzguido/fixvscode #120

Job	Run time
nix / fstar-nix	18m 6s
stale-hints / check_stale_hints	7s
build / build	19m 38s
tests / test-local	15m 35s
tests / check-stage3	6m 25s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)	11s
tests / perf-canaries	23s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)	7m 55s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)	8m 3s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)	8m 2s
ciok	1s
	1h 24m 26s

Provide feedback