Skip to content

chore(cloud): Update linter/style preferences#406

Merged
dnys1 merged 1 commit intomainfrom
05-09-chore_cloud_update_linter_style_preferences
May 9, 2025
Merged

chore(cloud): Update linter/style preferences#406
dnys1 merged 1 commit intomainfrom
05-09-chore_cloud_update_linter_style_preferences

Conversation

@dnys1
Copy link
Member

@dnys1 dnys1 commented May 9, 2025

  • Ensures celest_lints is used
  • Applies latest linter/style preferences using dart fix
  • Re-formats using Dart 3.8

Copy link
Member Author

dnys1 commented May 9, 2025

Merge activity

  • May 9, 11:22 AM PDT: A user started a stack merge that includes this pull request via Graphite.
  • May 9, 11:30 AM PDT: Graphite rebased this pull request as part of a merge.
  • May 9, 11:31 AM PDT: @dnys1 merged this pull request with Graphite.

@dnys1 dnys1 changed the base branch from 05-09-chore_celest_ast_update_linter_style_preferences to graphite-base/406 May 9, 2025 18:28
@dnys1 dnys1 changed the base branch from graphite-base/406 to main May 9, 2025 18:29
- Ensures `celest_lints` is used
- Applies latest linter/style preferences using dart fix
- Re-formats using Dart 3.8
@dnys1 dnys1 force-pushed the 05-09-chore_cloud_update_linter_style_preferences branch from 5f4ae60 to 63abca3 Compare May 9, 2025 18:30
@dnys1 dnys1 merged commit b5adc11 into main May 9, 2025
4 checks passed
@dnys1 dnys1 deleted the 05-09-chore_cloud_update_linter_style_preferences branch May 9, 2025 18:31
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