Skip to content

Make dev the default for CI manual run#159

Merged
nbolton merged 2 commits intomasterfrom
dev-default-2
Mar 2, 2026
Merged

Make dev the default for CI manual run#159
nbolton merged 2 commits intomasterfrom
dev-default-2

Conversation

@nbolton
Copy link
Member

@nbolton nbolton commented Mar 2, 2026

No description provided.

@nbolton nbolton merged commit dcf37d1 into master Mar 2, 2026
4 checks passed
@nbolton nbolton deleted the dev-default-2 branch March 2, 2026 13:03
@github-actions
Copy link

github-actions bot commented Mar 2, 2026

❌ Merge build has failed.
Version: 1.20.1-snapshot+r6
Run: CI (failure)

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