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

Minor update v7.2.0 #562

Merged
merged 33 commits into from
Dec 27, 2023
Merged

Minor update v7.2.0 #562

merged 33 commits into from
Dec 27, 2023

Conversation

200km
Copy link
Member

@200km 200km commented Dec 22, 2023

Related issues

NA

Description

Merge develop to main for minor update v7.2.0

Test results

NA

Impact

Minor update

Supplementary information

Merge after #563

renovate bot and others added 30 commits November 13, 2023 18:52
Update actions/github-script action to v7.0.1
Update actions/setup-python action to v4.8.0
Merge main to develop for hotfix #555
@200km 200km added priority::medium priority medium minor update add functionality in a backwards compatible manner labels Dec 22, 2023
@200km 200km added this to the Major Update v8.0.0 milestone Dec 22, 2023
@200km 200km self-assigned this Dec 22, 2023
@200km 200km requested review from sksat and a team as code owners December 22, 2023 09:03
@200km 200km requested review from suzuki-toshihir0, t-hosonuma and conjikidow and removed request for a team December 22, 2023 09:03
Update version info in CMake to v7.2.0
@200km 200km merged commit c6e4cc0 into main Dec 27, 2023
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
minor update add functionality in a backwards compatible manner priority::medium priority medium
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants