Update daily run arguments (!21) · Merge requests · detchar / ligo-monitors · GitLab

The source project of this merge request has been removed.

Alexander Urban requested to merge (removed):update-overflows into master Mar 10, 2019

This merge request takes care of a couple of issues:

Update arguments to gwdetchar-overflow for gwdetchar-0.3.0
Bump up the wait time for daily hveto to 15000 seconds

cc @duncanmmacleod