I made a simple filter in Nix to re-exported nixpkgs rocqPackages coqPackages scopes, have them built with GHA, and push the paths to a B2 bucket fronted with Fastly.
If you are using Nix, feel free to try it out!
How does this compare to the coq-community Cachix which is populated by the GitHub Actions from GitHub - rocq-community/coq-nix-toolbox: Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48] · GitHub?
simplicity! imo the CI job definition in the toolbox is basically incomprehensible