Skip to content

Comments

Add some conditions so we could skip if we wanted#14310

Merged
mattleibow merged 1 commit intomainfrom
dev/skips
Mar 31, 2023
Merged

Add some conditions so we could skip if we wanted#14310
mattleibow merged 1 commit intomainfrom
dev/skips

Conversation

@mattleibow
Copy link
Member

Description of Change

Just for future work, we may wish to control more things.

@mattleibow mattleibow enabled auto-merge (squash) March 30, 2023 22:56
@mattleibow mattleibow merged commit f0b53c6 into main Mar 31, 2023
@mattleibow mattleibow deleted the dev/skips branch March 31, 2023 02:14
@github-actions github-actions bot locked and limited conversation to collaborators Dec 11, 2023
@samhouts samhouts added the fixed-in-8.0.0-preview.3.8149 Look for this fix in 8.0.0-preview.3.8149! label Aug 2, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

fixed-in-8.0.0-preview.3.8149 Look for this fix in 8.0.0-preview.3.8149!

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants