Skip to content

Conversation

@ChristosMatzoros
Copy link
Collaborator

No description provided.

@ChristosMatzoros ChristosMatzoros linked an issue Sep 25, 2025 that may be closed by this pull request
@ChristosMatzoros
Copy link
Collaborator Author

@anyzelman it looks like the CI didn’t run, the job was waiting for a runner and got cancelled after 24h. Do you maybe need to configure a runner for this repo?

@ChristosMatzoros ChristosMatzoros requested review from raphael-s-steiner and removed request for tonibohnlein October 7, 2025 11:29
Christos Konstantinos Matzoros added 2 commits October 7, 2025 13:29
@ChristosMatzoros ChristosMatzoros self-assigned this Oct 7, 2025
Christos Konstantinos Matzoros added 2 commits October 7, 2025 17:43
@ChristosMatzoros
Copy link
Collaborator Author

Hello @raphael-s-steiner, I did the requested changes, please have a look.

Copy link
Collaborator

@raphael-s-steiner raphael-s-steiner left a comment

Choose a reason for hiding this comment

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

Looks good! Keep up the good work!

@raphael-s-steiner raphael-s-steiner merged commit 4a0c804 into master Oct 8, 2025
7 checks passed
@ChristosMatzoros ChristosMatzoros deleted the add_CI branch October 13, 2025 07:37
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.

Add GitHub Actions CI workflow

3 participants