Closed Schaechtle closed 6 years ago
@Schaechtle Thanks for the PR, let's see how long it takes (minutes vs .hours) and whether tests pass to determine whether to merge.
@avinson It seems possible to have two separate Travis jobs for a single repository using environment variables. Any idea about whether we can launch (1) a Travis "crash test" job with -k __not_ci
and (2) a Travis "integration test" job, using this commit?
Looks good, thanks for identifying this.
Those CI tests run in less than 5 min on probcomp-4. I am not clear why we are not testing those. It could b e that travis is not suited to run those (due to only 4 cores available).