Skip to content

Update github workflow#343

Merged
jose-luis-rs merged 1 commit into
R3BRootGroup:devfrom
jose-luis-rs:dec24dev
Jun 2, 2026
Merged

Update github workflow#343
jose-luis-rs merged 1 commit into
R3BRootGroup:devfrom
jose-luis-rs:dec24dev

Conversation

@jose-luis-rs
Copy link
Copy Markdown
Contributor


Checklist:

Minor change

New implementation

Added new github workflow

Minor change

Added debian14 and clean files

Added ubuntu2604

Update readme

Update clang-format

Minor change

Minor change
@jose-luis-rs jose-luis-rs merged commit 2437523 into R3BRootGroup:dev Jun 2, 2026
4 of 7 checks 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.

1 participant