Skip to content

Fixing Ubuntu build status - #155

Merged
daavid00 merged 1 commit into
OPM:mainfrom
daavid00:dev
Jun 12, 2026
Merged

Fixing Ubuntu build status#155
daavid00 merged 1 commit into
OPM:mainfrom
daavid00:dev

Conversation

@daavid00

Copy link
Copy Markdown
Member

Description

Somehow currently shows no status, running this also after merging then.

@daavid00
daavid00 merged commit b307871 into OPM:main Jun 12, 2026
1 check 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.

1 participant