Skip to content

chore(db_studio): Update linter/style preferences#408

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

chore(db_studio): Update linter/style preferences#408
dnys1 merged 1 commit intomainfrom
05-09-chore_db_studio_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

@dnys1 dnys1 force-pushed the 05-09-chore_core_update_linter_style_preferences branch from dcd636e to b1b9016 Compare May 9, 2025 18:16
@dnys1 dnys1 force-pushed the 05-09-chore_db_studio_update_linter_style_preferences branch from 91cb531 to 1b30eb6 Compare May 9, 2025 18:16
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:35 AM PDT: Graphite rebased this pull request as part of a merge.
  • May 9, 11:36 AM PDT: @dnys1 merged this pull request with Graphite.

@dnys1 dnys1 changed the base branch from 05-09-chore_core_update_linter_style_preferences to graphite-base/408 May 9, 2025 18:32
@dnys1 dnys1 changed the base branch from graphite-base/408 to main May 9, 2025 18:34
- 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_db_studio_update_linter_style_preferences branch from 1b30eb6 to bb8d2cf Compare May 9, 2025 18:34
@dnys1 dnys1 merged commit 8d826ad into main May 9, 2025
6 checks passed
@dnys1 dnys1 deleted the 05-09-chore_db_studio_update_linter_style_preferences branch May 9, 2025 18:36
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