Merge pull request #3669 from mtzguido/nit #101

Job	Run time
nix / fstar-nix	18m 36s
build / build	19m 39s
stale-hints / check_stale_hints	9s
tests / test-local	15m 16s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)	9s
tests / check-stage3	6m 15s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)	7m 54s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)	7m 48s
tests / perf-canaries	22s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)	7m 44s
ciok	2s
	1h 23m 54s

Provide feedback