Increase DrDr benchmark timeout
This commit is contained in:
parent
68cf924000
commit
296097c871
|
@ -1057,7 +1057,7 @@ path/s is either such a string or a list of them.
|
|||
"pkgs/racket-pkgs/racket-test/tests/future/random-future.rkt" drdr:timeout 480 drdr:random #t
|
||||
"pkgs/racket-pkgs/racket-test/tests/future/timing-test.rkt" drdr:random #t
|
||||
"pkgs/racket-pkgs/racket-test/tests/generic" responsible (asumu stamourv)
|
||||
"pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt" drdr:timeout 250 drdr:random #t
|
||||
"pkgs/racket-pkgs/racket-test/tests/generic/benchmark.rkt" drdr:timeout 300 drdr:random #t
|
||||
"pkgs/racket-pkgs/racket-test/tests/info.rkt" responsible (eli)
|
||||
"pkgs/racket-pkgs/racket-test/tests/match" responsible (samth)
|
||||
"pkgs/racket-pkgs/racket-test/tests/net" responsible (jay eli mflatt robby)
|
||||
|
|
Loading…
Reference in New Issue
Block a user