Skip to content

badge-fix#131

Merged
jbrzensk merged 1 commit intomasterfrom
badge-fix
May 15, 2025
Merged

badge-fix#131
jbrzensk merged 1 commit intomasterfrom
badge-fix

Conversation

@JananiPSrinivasan
Copy link
Copy Markdown
Collaborator

What type of PR is this? (check all applicable)

  • Refactor
  • Feature
  • Bug Fix
  • Optimization
  • Example
  • Documentation

Description

The Badge for build which initially was not passing has been fixed. The broken link has been replaced.

QA Instructions, Screenshots, Recordings

image

Added/updated tests?

_We encourage you to test all code included with MOLE, including examples.

  • Yes
  • No, and this is why:
  • I need help with writing tests

Read Contributing Guide and Code of Conduct

@jbrzensk jbrzensk merged commit fa9e0e9 into master May 15, 2025
10 checks passed
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