Merge pull request #3670 from mtzguido/checkfriends #111

Job	Run time
build / build	19m 31s
stale-hints / check_stale_hints	7s
nix / fstar-nix	18m 42s
tests / check-stage3	6m 9s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-20.04)	7m 36s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-22.04)	7m 36s
tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)	17s
tests / perf-canaries	21s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)	8m 22s
tests / test-local	16m 1s
ciok	1s
	1h 24m 43s

Provide feedback