Huh. Okay, I guess I misunderstood. Thanks for clarifying. On Tue, Apr 30, 2019 at 4:29 PM Jay McCarthy <jay.mccar...@gmail.com> wrote:
> Rescanning never did that. It just re-downloads from Github (or > wherever) and updates the record that the build server queries > nightly. > > -- > Jay McCarthy > Associate Professor @ CS @ UMass Lowell > http://jeapostrophe.github.io > Vincit qui se vincit. > > On Tue, Apr 30, 2019 at 3:59 PM David Storrs <david.sto...@gmail.com> > wrote: > > > > > > > > On Tue, Apr 30, 2019 at 3:23 PM Sam Tobin-Hochstadt < > sa...@cs.indiana.edu> wrote: > >> > >> The pkg-build server runs only once a day, so it will pick up your > >> changes in the next run. > > > > > > ?? When I've done "rescan all my packages" in the past it's rebuilt the > package. Did something change or am I just clueless? > > > > > >> > >> Sam > >> > >> On Tue, Apr 30, 2019 at 3:16 PM David Storrs <david.sto...@gmail.com> > wrote: > >> > > >> > Hi all, > >> > > >> > I just pushed an update to the test-more module. On the package > server it was marked as 'New!' and was up to the latest commit, but the > build status was 'fails'. The compilation report is from April 18. I > thought I'd take a second chance, so I pushed another update, but no joy. > Is there any way for me to make this update or could one of our wonderful > maintainers kick the server for me? > >> > > >> > Dave > >> > > >> > -- > >> > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > >> > To unsubscribe from this group and stop receiving emails from it, > send an email to racket-users+unsubscr...@googlegroups.com. > >> > For more options, visit https://groups.google.com/d/optout. > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users+unsubscr...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
