Many thanks, Luis! This was all very helpful. (`sdcv' is working again, but it's quite useful to know this for future issues.)
And `guix time-machine' is useful in other cases too, I found. best, ---Benjamin -- '(Dr Benjamin Slade (he/him) (website . <https://lambda-y.net>) `(pgp_fp: ,(B20E 444C FA80 B5F8 15FA 4AD8 6FBF CD68 3B05 2B84)) "sent by [mu4e] 1.12.9 in [Emacs] 30.1 with [org-msg] on [EndeavourOS] [Linux]") On Mon, 03 Mar 2025 at 19:40 +0000, Luis Felipe <sirga...@zoho.com> wrote: > On 3/03/25 19:15, Luis Felipe wrote: >> I wanted to get a revision of Guix used for a known successful build of sdcv >> from the Guix CI service but couldn't find that information. > > Actually, I think I just found that information. You can get it as follows: > > 1. Click on a successful build from the list in > <https://ci.guix.gnu.org/search?query=spec%3Amaster+sdcv> > 2. Click on the numerical value of the «Evaluation» field. > 3. Copy the commit value in the Channel/Commit table. > > That way, you can update the channels specification from the previous example > to > use another revision of Guix, or use the commit as follows (if that's enough > for > you): > > guix time-machine --commit=COMMIT_VALUE_HERE -- shell sdcv -- sdcv > > The following worked for me as well (commit value from > <https://ci.guix.gnu.org/eval/2043841>): > > guix time-machine --commit=25d99dd -- shell sdcv -- sdcv > > Good luck, > > [2. OpenPGP public key --- application/pgp-keys; > OpenPGP_0x0AB0D067012F08C3.asc]... [mu4e] <https://www.djcbsoftware.nl/code/mu/mu4e.html> [Emacs] <https://www.gnu.org/software/emacs/> [org-msg] <https://github.com/jeremy-compostella/org-msg> [EndeavourOS] <https://endeavouros.com/> [Linux] <https://opensource.com/resources/linux>