Skip to content

Switch CI setup to use GitHub Actions#47

Merged
rvem merged 1 commit intomasterfrom
rvem/switch-to-github-actions
Dec 18, 2025
Merged

Switch CI setup to use GitHub Actions#47
rvem merged 1 commit intomasterfrom
rvem/switch-to-github-actions

Conversation

@rvem
Copy link
Member

@rvem rvem commented Dec 15, 2025

No description provided.

@rvem rvem requested a review from Sereja313 December 15, 2025 12:13
@rvem rvem force-pushed the rvem/switch-to-github-actions branch from 00f6c6d to 37856e8 Compare December 16, 2025 16:28
Copy link
Contributor

@lierdakil lierdakil left a comment

Choose a reason for hiding this comment

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

LGTM

@rvem rvem merged commit 58fe17e into master Dec 18, 2025
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.

2 participants