The pkg-build running here would pick up those changes, tho, so you could see the results:
https://plt.eecs.northwestern.edu/pkg-build/ It runs based on the latest snapshot (from https://plt.eecs.northwestern.edu/snapshots/) instead of the release. Robby On Fri, Jan 27, 2017 at 10:52 PM, Matthew Flatt <[email protected]> wrote: > That sounds like a reasonable addition to `raco test`, and I'll look > into adding it soon. (The addition won't be effective in > pkg-build.racket-lang.org until the next release, though.) > > At Sat, 28 Jan 2017 11:23:44 +0800, WarGrey Gyoudmon Ju wrote: >> And also, I want to control `--check-stderr` in `info.rkt` file. >> >> 1. currently, typed racket complains any `ctype?` types and warns it to >> stderr. >> 2. for some tests, display their output to stdout and stderr is more >> convenient than wrapping the output into something like (check-exn?), say, >> to see if the error message is informative or well formatted. >> >> then pkg-build thinks the package has test failures. >> >> On Sat, Jan 28, 2017 at 4:37 AM, Stephen Chang <[email protected]> wrote: >> >> > I have a package whose tests are timing out when run by pkg-build. Is >> > there a way to extend this timeout? >> > >> > I know I can specify individual file timeouts with `test-timeouts` but >> > I couldnt figure out how to specify a timeout for testing the whole >> > package. Is this possible? >> > >> > Steve >> > >> > -- >> > 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 [email protected]. >> > 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 [email protected]. >> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
