Skip to content

CI: Fix duplicate CI jobs on PRs#33

Merged
DilumAluthge merged 1 commit into
masterfrom
DilumAluthge-patch-1
May 1, 2026
Merged

CI: Fix duplicate CI jobs on PRs#33
DilumAluthge merged 1 commit into
masterfrom
DilumAluthge-patch-1

Conversation

@DilumAluthge
Copy link
Copy Markdown
Member

No description provided.

@DilumAluthge DilumAluthge force-pushed the DilumAluthge-patch-1 branch from 7d4aae1 to 7c41d67 Compare May 1, 2026 02:00
@DilumAluthge DilumAluthge merged commit 8b38090 into master May 1, 2026
4 checks passed
@DilumAluthge DilumAluthge deleted the DilumAluthge-patch-1 branch May 1, 2026 02:06
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