Changeset 7caea53

Timestamp:

Aug 15, 2018, 11:18:13 AM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

202ad72

Parents:

5a5d31a

Message:

No longer run benchmark on push to shorten build times

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -128 +128 @@
                                         description: 'If true, jenkins also runs benchmarks',           \
                                         name: 'pRunBenchmark',                                                          \
-                                        defaultValue: true,                                                             \
+                                        defaultValue: false,                                                            \
                                 ],                                                                                              \
                                 [$class: 'BooleanParameterDefinition',                                                  \