Merge pull request #66396 from timokau/sage-undo-short

sage: default to long tests again
This commit is contained in:
Timo Kaufmann 2019-08-10 13:16:00 +02:00 committed by GitHub
commit 3541df594e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,7 +3,7 @@
, sage-with-env
, makeWrapper
, files ? null # "null" means run all tests
, longTests ? false # run tests marked as "long time" (roughly doubles runtime)
, longTests ? true # run tests marked as "long time" (roughly doubles runtime)
# Run as many tests as possible in approximately n seconds. This will give each
# file to test a "time budget" and stop tests if it is exceeded. 300 is the
# upstream default value.