Skip to content

Merge dev to main to update workflows - #58

Merged
marcelmamula merged 2 commits into
mainfrom
dev
Jul 30, 2026
Merged

Merge dev to main to update workflows#58
marcelmamula merged 2 commits into
mainfrom
dev

Conversation

@marcelmamula

Copy link
Copy Markdown
Contributor

Disclaimer

This is not a release and it will not be tagged as such.

Purpose

  • Activate github workflow that were updated in dev.
  • README.md formatting fixes are not important enough to trigger release.

@marcelmamula
marcelmamula requested review from berndfinger and rhmk July 29, 2026 08:12
@marcelmamula marcelmamula self-assigned this Jul 29, 2026

@berndfinger berndfinger left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM.

@marcelmamula
marcelmamula merged commit c985fd0 into main Jul 30, 2026
7 checks passed
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.

2 participants