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 and fix CI status badges #1844

Merged
merged 1 commit into from
Jul 18, 2024

Conversation

anvega
Copy link
Contributor

@anvega anvega commented Jul 18, 2024

This PR updates and fixes the CI status badges in the README.

Changes made:

  1. Removed redundant text labels preceding the badges.
  2. Corrected the broken Travis CI badge and URL and switched to shields.io for the badge to include the logo.
  3. Updated the CircleCI badge to use the shield style for visual consistency with the other badge.

Note: This is a purely cosmetic change to the markdown file. It does not add new features, affect input/output behavior, or alter the list of algorithms. No version bump or downstream project updates are required.

- Update CircleCI badge to use shield style
- Correct Travis CI badge URL and use shields.io for better customization
- Remove redundant text labels preceding badges

Signed-off-by: Andrés Vega <[email protected]>

Signed-off-by: Andrés Vega <[email protected]>
@anvega anvega requested a review from dstebila as a code owner July 18, 2024 16:31
@SWilson4 SWilson4 merged commit 60cd3d8 into open-quantum-safe:main Jul 18, 2024
56 of 57 checks passed
@baentsch
Copy link
Member

Thanks for fixing #1827, @anvega !

@dstebila @SWilson4 Now that more contributions come in, may I suggest we somehow begin to track/actively "manage" open issues (to not rely on me to remember them?) Something like a "best (solved :) by" date for each, maybe (after which they get checked again and maybe re/prioritized or dropped?)

SWilson4 pushed a commit that referenced this pull request Jul 19, 2024
- Update CircleCI badge to use shield style
- Correct Travis CI badge URL and use shields.io for better customization
- Remove redundant text labels preceding badges

Signed-off-by: Andrés Vega <[email protected]>
Signed-off-by: Spencer Wilson <[email protected]>
@dstebila
Copy link
Member

@dstebila @SWilson4 Now that more contributions come in, may I suggest we somehow begin to track/actively "manage" open issues (to not rely on me to remember them?) Something like a "best (solved :) by" date for each, maybe (after which they get checked again and maybe re/prioritized or dropped?)

Yes, we've definitely fallen behind on issue triage and prioritization. I don't think it's possible to set that type of metadata for an issue directly, unless we use tags. Maybe project boards would be good for this? @planetf1, any recommendations from your experience playing around with Github project boards?

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.

4 participants