Skip to content

Fix coverage-report pixi task#2198

Merged
jslee02 merged 1 commit intomainfrom
c/fix_coverage
Nov 17, 2025
Merged

Fix coverage-report pixi task#2198
jslee02 merged 1 commit intomainfrom
c/fix_coverage

Conversation

@jslee02
Copy link
Member

@jslee02 jslee02 commented Nov 17, 2025


Before creating a pull request

  • Run pixi run test-all to lint, build, and test your changes
  • Add unit tests for new functionality
  • Document new methods and classes
  • Add Python bindings (dartpy) if applicable

@jslee02 jslee02 added this to the DART 7.0 milestone Nov 17, 2025
@jslee02 jslee02 merged commit 827dd87 into main Nov 17, 2025
15 of 33 checks passed
@jslee02 jslee02 deleted the c/fix_coverage branch November 17, 2025 18:05
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