Skip to content

Comments

Trigger CI to run on push or pull_request towards main#210

Merged
gridhead merged 1 commit intofedora-infra:mainfrom
sdglitched:chore/issue-209
Jul 7, 2025
Merged

Trigger CI to run on push or pull_request towards main#210
gridhead merged 1 commit intofedora-infra:mainfrom
sdglitched:chore/issue-209

Conversation

@sdglitched
Copy link
Contributor

Hey!

The change in the PR makes sure GitHub CI runs on push or pull_request towards main branch.

CI runs on below cases:

  1. Open PR into main
  2. Force push to PR branch
  3. Merge PR to main

Signed-off-by: Shounak Dey <shounakdey@ymail.com>
@gridhead gridhead self-requested a review June 30, 2025 08:38
@gridhead gridhead self-assigned this Jun 30, 2025
@gridhead gridhead added the quality Tried, tested and ergo trusted label Jun 30, 2025
@gridhead
Copy link
Member

As Pagure is unreachable due to an AI scraper attack, we would run the failed tests again later once things go back to normal. Until then, I will defer the review of this pull request.

Copy link
Member

@gridhead gridhead left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No luck with the automated tests but I do not think that has anything to do with the changes involved - Going ahead with the merge for now.

@gridhead gridhead merged commit 7a60bde into fedora-infra:main Jul 7, 2025
8 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

quality Tried, tested and ergo trusted

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Configure GitHub CI to trigger an action on push or pull_request to main branch

2 participants