Apologies; I should have known that. Many thanks. John
> On Apr 17, 2020, at 11:33 AM, Matthew Flatt <mfl...@cs.utah.edu> 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 racket-dev+unsubscr...@googlegroups.com. >> 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 racket-dev+unsubscr...@googlegroups.com. > 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 racket-dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/1074e64d-1936-4750-aceb-f6945a0f42bf%40mtasv.net.
