Changeset 0c24808


Ignore:
Timestamp:
Jun 3, 2016, 3:38:56 PM (6 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
aaron-thesis, arm-eh, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
9cdce58
Parents:
40b1df9
Message:

added git properties to Jenkinsfile

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Jenkinsfile

    r40b1df9 r0c24808  
    7474        currentBuild.result = "SUCCESS"
    7575
     76        old-value> SP <new-value> SP <ref-name>
     77
     78        properties
     79                [[$class: 'ParametersDefinitionProperty', parameterDefinitions:
     80                        [[$class: 'StringParameterDefinition', name: 'git_ref_name',      defaultValue: 'master', description: 'name of the ref that changed' ],
     81                         [$class: 'StringParameterDefinition', name: 'git_ref_new_value', defaultValue: 'HEAD',   description: 'new commit of the reference' ],
     82                         [$class: 'StringParameterDefinition', name: 'git_ref_old_value', defaultValue: 'HEAD~1', description: 'old commit of the reference']]
     83                ]]
     84
     85
    7686        try {
    7787                //Prevent the build from exceeding 30 minutes
Note: See TracChangeset for help on using the changeset viewer.