Skip to content

Fix detatched HEAD, and account for push conflicts#3366

Merged
Fishbowler merged 1 commit into
mainfrom
fix-driver-build
Jun 18, 2026
Merged

Fix detatched HEAD, and account for push conflicts#3366
Fishbowler merged 1 commit into
mainfrom
fix-driver-build

Conversation

@Fishbowler

Copy link
Copy Markdown
Contributor

Proposed changes

#3365 fixed CI token generation from #3294
This does more fixing for #3294

  • fixes git push to a remote (previously, a detatched HEAD, so can't push anywhere)
  • fixes git push when the jobs race each other, or another merge
  • fixes workflow dispatch against a branch (in case, for some reason, folks want up-to-date drivers on the branch)

Testing

Successful workflow dispatch: https://github.com/mobile-dev-inc/Maestro/actions/runs/27783663617

@Fishbowler Fishbowler merged commit 7159229 into main Jun 18, 2026
18 checks passed
@Fishbowler Fishbowler deleted the fix-driver-build branch June 18, 2026 19:34
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