Skip to content

only run CI for push[main]#526

Merged
jGaboardi merged 1 commit intomainfrom
jGaboardi-patch-1
Apr 11, 2026
Merged

only run CI for push[main]#526
jGaboardi merged 1 commit intomainfrom
jGaboardi-patch-1

Conversation

@jGaboardi
Copy link
Copy Markdown
Member

@jGaboardi jGaboardi commented Apr 11, 2026

  • only run CI for push[main]
  • failure unrelated to this PR

@jGaboardi jGaboardi requested review from gegen07 and knaaptime April 11, 2026 21:43
@jGaboardi jGaboardi self-assigned this Apr 11, 2026
@jGaboardi jGaboardi added CI github_actions Pull requests that update Github_actions code labels Apr 11, 2026
@jGaboardi jGaboardi merged commit 30db9ac into main Apr 11, 2026
9 of 10 checks passed
@jGaboardi jGaboardi deleted the jGaboardi-patch-1 branch April 11, 2026 23:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI github_actions Pull requests that update Github_actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants