Skip to content

Switch CI setup to use GitHub Actions#10

Merged
Sereja313 merged 1 commit into
masterfrom
rvem/switch-to-github-actions
Dec 18, 2025
Merged

Switch CI setup to use GitHub Actions#10
Sereja313 merged 1 commit into
masterfrom
rvem/switch-to-github-actions

Conversation

@rvem

@rvem rvem commented Dec 15, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@rvem rvem requested a review from Sereja313 December 15, 2025 12:17
@rvem rvem force-pushed the rvem/switch-to-github-actions branch from 09cfe1e to 1c4dd29 Compare December 16, 2025 16:29
@Sereja313 Sereja313 merged commit e657dbd into master Dec 18, 2025
1 check passed
@Sereja313 Sereja313 deleted the rvem/switch-to-github-actions branch December 19, 2025 09:47
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