Skip to content

Jenkins: update logic for recording SHA, repo owner, and branch name#3311

Merged
mrmundt merged 2 commits intoPyomo:mainfrom
jsiirola:jenkins-codecov-sha
Jul 9, 2024
Merged

Jenkins: update logic for recording SHA, repo owner, and branch name#3311
mrmundt merged 2 commits intoPyomo:mainfrom
jsiirola:jenkins-codecov-sha

Conversation

@jsiirola
Copy link
Copy Markdown
Member

@jsiirola jsiirola commented Jul 8, 2024

Fixes # .

Summary/Motivation:

This resolves a logic error from #3303 where the git SHA was not being set for the codecov upload when building the main branch. This also updates how we infer the owing repo and branch name in the Jenkins jobs

Changes proposed in this PR:

  • Update build driver to resolve errors estimating SHA, repo owner, and branch name

Legal Acknowledgement

By contributing to this software project, I have read the contribution guide and agree to the following terms and conditions for my contribution:

  1. I agree my contributions are submitted under the BSD license.
  2. I represent I am authorized to make the contributions and grant the license. If my employer has rights to intellectual property that includes these contributions, I represent that I have received permission to make contributions and grant the required license on behalf of that employer.

@mrmundt mrmundt merged commit 0123a01 into Pyomo:main Jul 9, 2024
@jsiirola jsiirola deleted the jenkins-codecov-sha branch July 9, 2024 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants