feat(github):Remove debian10 and update to checkoutv5 #339

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

jose-luis-rs merged 1 commit into R3BRootGroup:dev from jose-luis-rs:dec24dev

Dec 14, 2025

Contributor

jose-luis-rs commented Dec 14, 2025

Checklist:

Rebased against dev branch
My name is in the resp. CONTRIBUTORS/AUTHORS file
Followed the pull request guidlines and the Git workflow
Followed the seven rules of great commit messages


          feat(github):Remove debian10 and update to checkoutv5

f94e7cb

jose-luis-rs merged commit b5283d8 into R3BRootGroup:dev

1 check passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet