Skip to content

Dont double build on PRs#22

Merged
jecaro merged 1 commit into
mainfrom
push-rqrrrvlruluk
Jun 4, 2026
Merged

Dont double build on PRs#22
jecaro merged 1 commit into
mainfrom
push-rqrrrvlruluk

Conversation

@jecaro
Copy link
Copy Markdown
Owner

@jecaro jecaro commented Jun 4, 2026

No description provided.

@jecaro jecaro enabled auto-merge (rebase) June 4, 2026 08:14
@jecaro jecaro disabled auto-merge June 4, 2026 08:14
@jecaro jecaro force-pushed the push-rqrrrvlruluk branch from b5c33b5 to 782d634 Compare June 4, 2026 08:16
@jecaro jecaro enabled auto-merge (rebase) June 4, 2026 08:16
@jecaro jecaro merged commit 894bc53 into main Jun 4, 2026
2 checks passed
@jecaro jecaro deleted the push-rqrrrvlruluk branch June 4, 2026 08:18
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.

1 participant