Skip to content

Fixes badging on docs#1395

Merged
skrawcz merged 1 commit into
mainfrom
stefan/fix_docs_badges
Oct 11, 2025
Merged

Fixes badging on docs#1395
skrawcz merged 1 commit into
mainfrom
stefan/fix_docs_badges

Conversation

@skrawcz

@skrawcz skrawcz commented Oct 1, 2025

Copy link
Copy Markdown
Contributor

Adds static versions -- can periodically update these..

Changes

  • makes badges static images

How I tested this

Notes

Checklist

  • PR has an informative and human-readable title (this will be pulled into the release notes)
  • Changes are limited to a single goal (no scope creep)
  • Code passed the pre-commit check & code is left cleaner/nicer than when first encountered.
  • Any change in functionality is tested
  • New functions are documented (with a description, list of inputs, and expected output)
  • Placeholder code is flagged / future TODOs are captured in comments
  • Project documentation has been updated if adding/changing functionality.

Adds static versions -- can periodically update these..
@skrawcz skrawcz requested review from elijahbenizzy and zilto October 1, 2025 05:56
@skrawcz skrawcz mentioned this pull request Oct 1, 2025

@zilto zilto left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would consider simply removing the images, but that works!

@skrawcz skrawcz merged commit 343291b into main Oct 11, 2025
1 check passed
@skrawcz skrawcz deleted the stefan/fix_docs_badges branch October 11, 2025 18:13
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