Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Restyle Scenario launch options selection #1310

Merged
merged 1 commit into from
Jun 8, 2023

Conversation

restyled-io[bot]
Copy link
Contributor

@restyled-io restyled-io bot commented Jun 8, 2023

Automated style fixes for #1010, created by Restyled.

The following restylers made fixes:

To incorporate these changes, merge this Pull Request into the original. We
recommend using the Squash or Rebase strategies.

NOTE: As work continues on the original Pull Request, this process will
re-run and update (force-push) this Pull Request with updated style fixes as
necessary. If the style is fixed manually at any point (i.e. this process finds
no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.

@restyled-io restyled-io bot force-pushed the restyled/scenario-launch-options branch 2 times, most recently from cf463d3 to 18a9704 Compare June 8, 2023 05:01
@kostmo kostmo force-pushed the scenario-launch-options branch 2 times, most recently from db06656 to f52f2a9 Compare June 8, 2023 05:29
@restyled-io restyled-io bot force-pushed the restyled/scenario-launch-options branch from 18a9704 to f477263 Compare June 8, 2023 05:29
@kostmo kostmo merged commit 4fad876 into scenario-launch-options Jun 8, 2023
2 checks passed
@kostmo kostmo deleted the restyled/scenario-launch-options branch June 8, 2023 05:31
kostmo pushed a commit that referenced this pull request Jun 9, 2023
Co-authored-by: Restyled.io <commits@restyled.io>
kostmo pushed a commit that referenced this pull request Jun 9, 2023
Co-authored-by: Restyled.io <commits@restyled.io>
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.

None yet

2 participants