Skip to content
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.

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

ci: fix github.base-ref for merge_group builds #20061

Merged
merged 1 commit into from
Nov 8, 2023

Conversation

kaspar030
Copy link
Contributor

@kaspar030 kaspar030 commented Nov 8, 2023

Contribution description

Update workflows to pass a correct CI_BASE_BRANCH when building a merge_group.

Testing procedure

"static-tests" on merge_groups should be fast.

Issues/PRs references

@github-actions github-actions bot added the Area: CI Area: Continuous Integration of RIOT components label Nov 8, 2023
@kaspar030 kaspar030 added CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Nov 8, 2023
@riot-ci
Copy link

riot-ci commented Nov 8, 2023

Murdock results

✔️ PASSED

f7dffaa ci: workflows: static-test: fix CI_BASE_BRANCH for merge_groups

Success Failures Total Runtime
1 0 1 52s

Artifacts

@kaspar030 kaspar030 added this pull request to the merge queue Nov 8, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 8, 2023
@kaspar030 kaspar030 enabled auto-merge November 8, 2023 12:13
@kaspar030 kaspar030 added this pull request to the merge queue Nov 8, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 8, 2023
@kaspar030
Copy link
Contributor Author

@kaspar030 kaspar030 enabled auto-merge November 8, 2023 12:38
@kaspar030 kaspar030 added this pull request to the merge queue Nov 8, 2023
Merged via the queue into RIOT-OS:merge_groups_migration with commit bffe8e5 Nov 8, 2023
25 checks passed
@kaspar030 kaspar030 deleted the fix-github-ref branch November 8, 2023 12:44
MrKevinWeiss pushed a commit that referenced this pull request Nov 8, 2023
ci: fix github.base-ref for merge_group builds
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: CI Area: Continuous Integration of RIOT components CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants