Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update GHA badges on README.md #3457

Merged
merged 3 commits into from
Jan 17, 2025
Merged

Update GHA badges on README.md #3457

merged 3 commits into from
Jan 17, 2025

Conversation

jsiirola
Copy link
Member

Fixes # .

Summary/Motivation:

This tracks a change in the URL GH uses for generating GHA badges. In addition, it refines the filter so that test results from fork builds of main are not reported as part of the badge. Finally it removes a redundant badge (doc url), whose status is reported as part of the "services" badge.

Changes proposed in this PR:

-Update URL for generating the "GitHub CI" badge, improve the filter to exclude fork builds

  • Remove the "doc url" badge

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.

@jsiirola jsiirola merged commit 8c2e601 into Pyomo:main Jan 17, 2025
32 checks passed
@jsiirola jsiirola deleted the readme-badges branch January 17, 2025 05:32
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.

2 participants