F* v2025.01.17

What's Changed

• Remove FStar.Ghost.Pull by @gebner in #3636
• Staged build, new CI, new packaging by @mtzguido in #3637
• nix: exposing ocamlPackages as before by @mtzguido in #3662
• Makefile/opam fixes by @mtzguido in #3663
• mk: removing extraneous .ml files after extracting by @mtzguido in #3664
• Build improvements by @mtzguido in #3667
• ci.yml: run for merge queue by @mtzguido in #3668
• Tc: prevent reset of -d across modules by @mtzguido in #3669
• check-friends: restoring main repos by @mtzguido in #3670
• Errors: Introducing '--message_format github', for github actions by @mtzguido in #3553
• src: Fix VS code config to match Makefile by @mtzguido in #3673
• Preparing for a native Windows build by @mtzguido in #3674
• Misc build improvements by @mtzguido in #3675
• Improvements to --dep graph by @mtzguido in #3411
• Refresh hints by @mtzguido in #3676
• Improving Cygwin support by @mtzguido in #3642
• Detecting GITHUB_ENV and autoprinting github messages by @mtzguido in #3671
• Add an UnfoldOnce/delta_once normalizer step by @mtzguido in #3626
• Building a Windows package by @mtzguido in #3677
• Disable windows build, it amazingly already failed by @mtzguido in #3678
• src: Renaming FStarC.Compiler.* -> FStarC.* by @mtzguido in #3666
• Removing hints from the repo by @nikswamy in #3680
• Core: debug nits by @mtzguido in #3683
• Windows build (with self-hosted runner) by @mtzguido in #3684
• Bump version to 2025.01.17 by @mtzguido in #3685

Full Changelog: v2025.01.07...v2025.01.17