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

Added new fast branch for CIs #902

Merged

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

Nov 1, 2023

Contributor

jose-luis-rs commented Nov 1, 2023

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


          Added new fast branch for CIs

0bb5330

Update codemeta.json file

jose-luis-rs force-pushed the devnov23 branch from b169437 to 0bb5330 Compare

November 1, 2023 16:13

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

6 checks passed

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

Labels

None yet