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.

Sign up for GitHub

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

Jump to bottom

fix for no versions found #1705

Merged
merged 1 commit into from
Aug 21, 2024
Merged

fix for no versions found #1705

merged 1 commit into from
Aug 21, 2024

Conversation

pivotal-david-osullivan
Copy link
Contributor

Summary

Fixes #1703

Use Cases

Checklist

  • I have viewed, signed, and submitted the Contributor License Agreement.
  • I have linked issue(s) that this PR should close using keywords or the Github UI (See docs)
  • I have added an integration test, if necessary.
  • I have reviewed the styleguide for guidance on my code quality.
  • I'm happy with the commit history on this PR (I have rebased/squashed as needed).

@pivotal-david-osullivan pivotal-david-osullivan added type:bug A general bug semver:patch A change requiring a patch version bump labels Aug 21, 2024
@pivotal-david-osullivan pivotal-david-osullivan requested a review from a team as a code owner August 21, 2024 10:17
@dmikusa dmikusa merged commit 823ea64 into main Aug 21, 2024
7 checks passed
@dmikusa dmikusa deleted the jprofiler-fix branch August 21, 2024 12:18
This was referenced Aug 21, 2024
Closed
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Closed
Merged
Merged
This was referenced Aug 22, 2024
Merged
Merged
@wangeguo wangeguo mentioned this pull request Aug 22, 2024
Merged
@paketo-bot paketo-bot mentioned this pull request Aug 22, 2024
Merged
This was referenced Aug 22, 2024
Merged
Merged
@paketo-bot paketo-bot mentioned this pull request Aug 22, 2024
Merged
@wangeguo wangeguo mentioned this pull request Aug 22, 2024
Merged
@paketo-bot paketo-bot mentioned this pull request Aug 22, 2024
Merged
@initializ-bot initializ-bot mentioned this pull request Aug 22, 2024
Open
@paketo-bot paketo-bot mentioned this pull request Aug 22, 2024
Merged
@wangeguo wangeguo mentioned this pull request Aug 22, 2024
Merged
@paketo-bot paketo-bot mentioned this pull request Aug 22, 2024
Merged
This was referenced Aug 22, 2024
Merged
Merged
Merged
Merged
Merged
@initializ-bot initializ-bot mentioned this pull request Aug 21, 2024
Open
This was referenced Aug 22, 2024
Merged
Merged
@paketo-bot paketo-bot mentioned this pull request Aug 22, 2024
Merged
This was referenced Aug 22, 2024
Merged
Merged
@paketo-bot paketo-bot mentioned this pull request Sep 2, 2024
Closed
@paketo-bot paketo-bot mentioned this pull request Sep 9, 2024
Merged
This was referenced Sep 11, 2024
Merged
Merged
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dmikusa dmikusa dmikusa approved these changes

Assignees
No one assigned
Labels
semver:patch A change requiring a patch version bump type:bug A general bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

JProfiler Update Action stopped working
2 participants
@pivotal-david-osullivan @dmikusa