Skip to content

add ci#37

Merged
krisztianfekete merged 3 commits into
mainfrom
peterj/addci
Mar 20, 2026
Merged

add ci#37
krisztianfekete merged 3 commits into
mainfrom
peterj/addci

Conversation

@peterj
Copy link
Copy Markdown
Contributor

@peterj peterj commented Mar 20, 2026

No description provided.

peterj added 2 commits March 19, 2026 17:19
Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
Copy link
Copy Markdown
Contributor

@krisztianfekete krisztianfekete left a comment

Choose a reason for hiding this comment

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

Thanks!

@krisztianfekete krisztianfekete merged commit 788ec6d into main Mar 20, 2026
4 checks passed
@krisztianfekete krisztianfekete deleted the peterj/addci branch March 20, 2026 09:23
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