Skip to content

Release r3.2 (Fall25 M4)#69

Merged
bigludo7 merged 10 commits intomainfrom
fix67
Sep 10, 2025
Merged

Release r3.2 (Fall25 M4)#69
bigludo7 merged 10 commits intomainfrom
fix67

Conversation

@bigludo7
Copy link
Collaborator

What type of PR is this?

Add one of the following kinds:

  • subproject management

What this PR does / why we need it:

Publication of Fall'25 M4 public release of device-swap v1.0.0

Which issue(s) this PR fixes:

Fixes #67

Special notes for reviewers:

Test Statement missing

Changelog input

 release-note

Additional documentation

This section can be blank.

docs

@github-actions
Copy link

github-actions bot commented Aug 27, 2025

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ ACTION actionlint 2 0 0.01s
✅ API spectral 1 0 1.51s
✅ GHERKIN gherkin-lint 2 0 0.69s
✅ REPOSITORY git_diff yes no 0.0s
✅ REPOSITORY secretlint yes no 0.6s
✅ YAML yamllint 1 0 0.36s

See detailed report in MegaLinter reports

MegaLinter is graciously provided by OX Security

@Kevsy
Copy link
Contributor

Kevsy commented Sep 3, 2025

Looking really good @bigludo7 :) - just missing the Test Statement, plus a couple of very minor suggestions made above.

bigludo7 and others added 2 commits September 3, 2025 16:15
Co-authored-by: Kevin Smith <Kevsy@users.noreply.github.com>
Co-authored-by: Kevin Smith <Kevsy@users.noreply.github.com>
@bigludo7
Copy link
Collaborator Author

bigludo7 commented Sep 3, 2025

Looking really good @bigludo7 :) - just missing the Test Statement, plus a couple of very minor suggestions made above.

Thank a lot @Kevsy for the review. For the test statement not sure we'll have it as I'm not able to provide it from my company. I've applied your suggestions.

@Kevsy
Copy link
Contributor

Kevsy commented Sep 10, 2025

Nearly done - I just need an answer to #70 then I can approve on behalf of release management

@jgarciahospital
Copy link
Contributor

Nearly done - I just need an answer to #70 then I can approve on behalf of release management

Done! Thanks @Kevsy

Copy link
Contributor

@jgarciahospital jgarciahospital left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Copy link
Contributor

@Kevsy Kevsy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved on behalf of Release Management 👏

Next steps for the team:

  • PR merged (by API repository codeowner)
  • Release created within GitHub (by API repository codeowner)
  • Release Tracker updated (with creation date of the release and the release tag link)

@bigludo7 bigludo7 merged commit 12d4311 into main Sep 10, 2025
2 checks passed
@bigludo7 bigludo7 deleted the fix67 branch September 10, 2025 11:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Release PR for Fall25 M4 milestone

3 participants