Skip to content

Restore CI for pull requests targeting main - #27

Merged
nqdu merged 1 commit into
mainfrom
devel
Oct 25, 2026
Merged

nqdu merged 1 commit into
mainfrom
devel

Conversation

@nqdu

@nqdu nqdu commented Oct 25, 2026

Copy link
Copy Markdown
Owner

No description provided.

@nqdu
nqdu merged commit 29890f8 into main Oct 25, 2026
5 checks passed
@nqdu
nqdu deleted the devel branch October 25, 2026 10:24
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