Skip to content

Commit

Permalink
Fix checkout in Jenkinsfile.
Browse files Browse the repository at this point in the history
  • Loading branch information
uhafner committed Oct 17, 2023
1 parent 1703f83 commit 884b674
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion etc/Jenkinsfile.autograding
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ node {
def mvnHome = tool 'mvn-default'

stage ('Checkout') {
git branch:'master', url: 'https://github.com/uhafner/codingstyle.git', credentialsId: 'github-app'
checkout scm
}

stage ('Git mining') {
Expand Down
2 changes: 1 addition & 1 deletion etc/Jenkinsfile.reference
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ node {
def mvnHome = tool 'mvn-default'

stage ('Checkout') {
git branch:'master', url: 'https://github.com/uhafner/codingstyle.git', credentialsId: 'github-app'
checkout scm
}

stage ('Git mining') {
Expand Down

0 comments on commit 884b674

Please sign in to comment.