| 22 Apr 2026 |
raitobezarius | I don't have time to go deeper right now to pinpoint why the potential assert are thunked somehow in the eval machinery in Lix | 12:54:44 |
raitobezarius | I will open an issue on the Lix side and pass it to the rest of the core team | 12:54:53 |
raitobezarius | I suggest that override is repaired and is tested wrt to presence of __bootPackages or that AvailabilityVersions do not assume its existence in stdenv because overridden stdenv exist | 12:55:16 |
raitobezarius | This unblocks the current failure in Hydra | 12:55:32 |
raitobezarius | release-checks should add something about .stdenv to the package set being evaluated | 12:55:48 |
raitobezarius | This will make Lix flag this also unless we deem it to be a bug on our side and will converge to CppNix's evaluation behaviors | 12:56:04 |
raitobezarius | but if I read https://edolstra.github.io/pubs/laziness-ldta2008-final.pdf | 12:56:46 |
raitobezarius | I read "maximal laziness" | 12:56:48 |
raitobezarius | if Lix can produce a result here out of maximal laziness… :P | 12:56:55 |
raitobezarius | * if Lix can produce a (correct) result here out of maximal laziness… :P | 12:57:13 |
raitobezarius | you can follow our discussions in https://zulip.lix.systems/#narrow/channel/6-Eval/topic/Laziness.20difference.20in.20Lix.202.2E94.2B.20vs.2E.20Lix.202.2E93/near/9924 | 12:59:34 |
| * raitobezarius goes away | 13:00:24 |
Randy Eckenrode | I added a test for __bootPackages in my attempted fix PR. Once we get a fix in, then this can all go away on staging where I tear out this stuff that was only there to avoid rebuilds on master. | 13:07:29 |
raitobezarius | Awesome, tysm! | 13:07:39 |
emily | it would be nice to have a more minimal reproducer so it can be analysed as a language semantics question rather than a Nixpkgs constructs one | 13:16:44 |
emily | (ofc not saying anyone is obligated to produce that) | 13:16:52 |
Vladimír Čunát | Merged staging-next. While the release-checks` on master suffers from multiple non-linux issues, it seems unrelated. | 13:23:47 |
Vladimír Čunát | * Merged staging-next. While the release-checks on master suffers from multiple non-linux issues, it seems unrelated. | 13:23:58 |
K900 | @vcunat hold off on evals maybe | 13:35:49 |
K900 | We have stable kernels | 13:35:56 |
K900 | I can do a PR in a bit | 13:37:02 |
Vladimír Čunát | It's possible I guess. | 13:47:28 |
Vladimír Čunát | I pulled staging-nixos a couple hours ago and whole -small jobset had passed already. | 13:47:51 |
Vladimír Čunát | * I pulled staging-nixos a couple hours ago and whole -small jobset had passed already. (so that's cached) | 13:47:58 |
Vladimír Čunát | The extra delay from doing it all again won't be large. | 13:48:27 |
Vladimír Čunát | If you want it there, open and merge it soon. | 15:06:42 |
K900 | Still waiting for kernel doot org to produce tarballs | 15:07:37 |
Vladimír Čunát | I see today's tarballs now, for some kernels at least. | 15:29:36 |
K900 | Yeah me too | 15:30:03 |
K900 | Running a build | 15:30:04 |