Zulip Chat Archive
Stream: nightly-testing
Topic: nightly#5 adaptations for nightly-2025-06-28
Kim Morrison (Jun 29 2025 at 06:23):
chore: adaptations for nightly-2025-06-28 nightly#5 Please review this PR. At the end of the month this diff will land in 'master'.
Kim Morrison (Jun 29 2025 at 06:38):
LGTM.
Kim Morrison (Jun 29 2025 at 06:39):
This has some further corrections based on the unusedSimpArgs linter (in Archive and Counterexamples) that someone could backport to master if they felt so inclined!
Ruben Van de Velde (Jun 29 2025 at 17:48):
Kim Morrison said:
This has some further corrections based on the
unusedSimpArgslinter (in Archive and Counterexamples) that someone could backport tomasterif they felt so inclined!
This is #26519
Kim Morrison (Jun 29 2025 at 23:22):
Thank you @Ruben Van de Velde!
Last updated: Dec 20 2025 at 21:32 UTC