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

add vsezima as a contributor for code #16262

Merged
merged 2 commits into from
Jun 7, 2024
Merged

Conversation

allcontributors[bot]
Copy link
Contributor

Adds @vsezima as a contributor for code.

This was requested by github-actions[bot] in this comment

[skip ci]

@hishamco
Copy link
Member

hishamco commented Jun 7, 2024

@Piedone such PRs no need to trigger the build workflow

@Piedone
Copy link
Member

Piedone commented Jun 7, 2024

As you can see, they don't :).

@hishamco
Copy link
Member

hishamco commented Jun 7, 2024

Something went wrong!! the build seems hanging

@hishamco hishamco closed this Jun 7, 2024
@hishamco hishamco reopened this Jun 7, 2024
@hishamco
Copy link
Member

hishamco commented Jun 7, 2024

Closing and reopening to trigger the workflow

@hishamco hishamco enabled auto-merge (squash) June 7, 2024 17:34
@Piedone Piedone merged commit 0bf6bd3 into main Jun 7, 2024
4 checks passed
@Piedone Piedone deleted the all-contributors/add-vsezima branch June 7, 2024 17:34
@Piedone
Copy link
Member

Piedone commented Jun 7, 2024

No, it's not running, as you also asked about. It won't run, because no files changed that would trigger it to run. You can just merge it, like I now did. We can either make these workflows run for all PRs, including with just docs changes, or we can remove the branch protection rule preventing you from merging PRs (without a workaround) without the builds completing.

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.

2 participants