pkg-build not happening?

unread,

Apr 17, 2020, 2:31:43 PM4/17/20

to Racket Developers, Jay McCarthy

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

unread,

Apr 17, 2020, 2:33:10 PM4/17/20

to John Clements, Racket Developers, Jay McCarthy

pkg-build has been running, but it doesn't re-run packages that haven't
changed.

> --
> 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+...@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.

unread,

Apr 17, 2020, 3:15:17 PM4/17/20

to Matthew Flatt, Racket Developers, Jay McCarthy

Apologies; I should have known that. Many thanks.

John

Reply all

Reply to author

Forward