Skip to content

Add a walltime flag to jenkins_generic_job#1386

Merged
jgfouca merged 1 commit intomasterfrom jgfouca/cime/walltime_for_jenkinsApr 10, 2017
+11-6

Commits

Commits on Apr 10, 2017