Skip to content

Multiple CI improvements#193

Merged
solrudev merged 7 commits intomasterfrom
develop
Mar 25, 2026
Merged

Multiple CI improvements#193
solrudev merged 7 commits intomasterfrom
develop

Conversation

@solrudev
Copy link
Copy Markdown
Owner

@solrudev solrudev commented Mar 25, 2026

  • Use Codecov for coverage reports
  • Convert version.properties to JSON and use it for Git tags
  • Trigger artifacts publishing by a tag push
  • Pin Python dependencies
  • Use GitHub Actions source for documentation website

@github-actions github-actions bot added ci Related to CI workflows documentation Improvements or additions to documentation labels Mar 25, 2026
@sonarqubecloud
Copy link
Copy Markdown

@codecov
Copy link
Copy Markdown

codecov bot commented Mar 25, 2026

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

ℹ️ You can also turn on project coverage checks and project coverage reporting on Pull Request comment

Thanks for integrating Codecov - We've got you covered ☂️

@solrudev solrudev merged commit 96f8c31 into master Mar 25, 2026
17 of 19 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Related to CI workflows documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant