Skip to content

Fix GitHub actions running twice#77

Merged
ratheron merged 1 commit into
mainfrom
feat.fix_gh_actions
Jun 19, 2026
Merged

Fix GitHub actions running twice#77
ratheron merged 1 commit into
mainfrom
feat.fix_gh_actions

Conversation

@amacati

@amacati amacati commented Jun 18, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@amacati amacati force-pushed the feat.fix_gh_actions branch from 895fdc0 to b7ebcba Compare June 18, 2026 23:19
@amacati amacati requested a review from ratheron June 18, 2026 23:25
@ratheron

Copy link
Copy Markdown
Collaborator

As far as I understand, this is relevant in the case of a PR only, right?

@amacati

amacati commented Jun 19, 2026

Copy link
Copy Markdown
Collaborator Author

Yes. If someone opens a PR, each commit runs through CI. If there is no PR, there are also no CI runs, except when pushing to main (which should be a PR :D)

@ratheron ratheron merged commit acf2d1c into main Jun 19, 2026
6 checks passed
@ratheron ratheron deleted the feat.fix_gh_actions branch June 19, 2026 09:29
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