On Thu, 16 Jul 2020 at 11:48, Ludovic Courtès <l...@gnu.org> wrote: >>> The “0.0-git” string comes from (guix self). As noted there, we can’t >>> really afford to change the version string at each commit, or we’d have >>> to rebuild the manual at each commit. >> >> Why is it an issue if the manual is substituted? > > If it has to be rebuilt at every commit, chances are you won’t get > substitutes because it has to be built on the build farm, too. :-)
How Guix distinguish between "doc commit" and other commit? I mean, is it not the latest Guix manual that "guix pull" pulls? With which guarantee / confidence? BTW, as discussed elsewhere, it should not be possible to pull non substituable commits by default, in the meaning: commit for which the outputs are not already built by the build farm. Well, put again on the table CI as in [1] for a recent "again". :-) 1: https://lists.gnu.org/archive/html/guix-devel/2020-07/msg00074.html Cheers, simon
