Merge branch 'bug30011_035' into bug30011_040

Merge bug30011 new package timelimit with 0.4.0 new package shellcheck.
Move shellcheck into the correct category.
This commit is contained in:
teor
2019-04-04 13:23:26 +10:00
2 changed files with 14 additions and 3 deletions
+4
View File
@@ -0,0 +1,4 @@
o Minor bugfixes (CI):
- Terminate test-stem if it takes more than 9.5 minutes to run.
(Travis terminates the job after 10 minutes of no output.)
Diagnostic for 29437. Fixes bug 30011; bugfix on 0.3.5.4-alpha.