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

Stardog: Update to Stardog 10.2.0 #511

Merged
merged 1 commit into from
Oct 14, 2024
Merged

Stardog: Update to Stardog 10.2.0 #511

merged 1 commit into from
Oct 14, 2024

Conversation

martini-source
Copy link
Contributor

@martini-source martini-source commented Oct 14, 2024 •
edited
Loading

What this PR does / why we need it:

  • Short summary

Checklist

  • Chart Version bumped
  • I have run make docs
  • Variables are documented in the values.yaml using the format required by Helm-Docs.
  • PR contains the label that identifies the chart, e.g. chart/<chart-name>
  • PR contains the label that identifies the type of change, which is one of
    [ bug, enhancement, documentation, change, breaking, dependency ]

@martini-source martini-source added enhancement New feature or request chart/stardog labels Oct 14, 2024
@martini-source martini-source requested a review from a team as a code owner October 14, 2024 14:51
@martini-source martini-source merged commit 12a1114 into master Oct 14, 2024
4 checks passed
@martini-source martini-source deleted the stardog/10.2.0 branch October 14, 2024 14:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
chart/stardog enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@martini-source