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.

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

Develop is now preparing version 1.8.0 #1455

Merged
merged 1 commit into from
Nov 11, 2023
Merged

Develop is now preparing version 1.8.0 #1455

merged 1 commit into from
Nov 11, 2023

Conversation

tcojean
Copy link
Member

@tcojean tcojean commented Nov 10, 2023

Bump 1.7.0 -> 1.8.0

@ginkgo-bot ginkgo-bot added reg:build This is related to the build system. reg:testing This is related to testing. reg:example This is related to the examples. reg:benchmarking This is related to benchmarking. labels Nov 10, 2023
@tcojean tcojean added the 1:ST:no-changelog-entry Skip the wiki check for changelog update label Nov 10, 2023
@upsj
Copy link
Member

upsj commented Nov 10, 2023

Probably best to merge #1456 first

@tcojean tcojean added 1:ST:ready-for-review This PR is ready for review and removed 1:ST:no-changelog-entry Skip the wiki check for changelog update labels Nov 10, 2023
Signed-off-by: Terry Cojean <terry.cojean@kit.edu>
@ginkgo-bot ginkgo-bot added the 1:ST:no-changelog-entry Skip the wiki check for changelog update label Nov 10, 2023
@upsj upsj added 1:ST:ready-to-merge This PR is ready to merge. and removed 1:ST:ready-for-review This PR is ready for review labels Nov 11, 2023
Copy link

sonarcloud bot commented Nov 11, 2023

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

warning The version of Java (11.0.3) you have used to run this analysis is deprecated and we will stop accepting it soon. Please update to at least Java 17.
Read more here

Copy link

codecov bot commented Nov 11, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

@tcojean tcojean merged commit 7dc18e2 into develop Nov 11, 2023
16 of 18 checks passed
@tcojean tcojean deleted the dev_1.8.0 branch November 11, 2023 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
1:ST:no-changelog-entry Skip the wiki check for changelog update 1:ST:ready-to-merge This PR is ready to merge. reg:benchmarking This is related to benchmarking. reg:build This is related to the build system. reg:example This is related to the examples. reg:testing This is related to testing.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants