Apologies; I should have known that. Many thanks. John
> On Apr 17, 2020, at 11:33 AM, Matthew Flatt <[email protected]> wrote: > > pkg-build has been running, but it doesn't re-run packages that haven't > changed. > > At 17 Apr 2020 14:31:40 -0400, "'John Clements' via Racket Developers" wrote: >> It looks like the pkg-build server hasn’t run since April 12, as evidenced >> by >> logs like >> >> https://pkg-build.racket-lang.org/server/built/install/1d6.txt >> >> and >> >> https://pkg-build.racket-lang.org/server/built/install/2048.txt >> >> Is this a known issue? >> >> (Jay, I recall this as being part of your world, apologies if I’m wrong.) >> >> John >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/racket-dev/eb1139ad-d88a-4955-b7dd-7a49029bce >> 15%40mtasv.net. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-dev/5e99f665.1c69fb81.61414.75a7SMTPIN_ADDED_MISSING%40gmr-mx.google.com. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/1074e64d-1936-4750-aceb-f6945a0f42bf%40mtasv.net.
