Skip to content

Merge release/0.7.1 into develop#171

Merged
GaryJones merged 3 commits into
developfrom
release/0.7.1
Sep 9, 2023
Merged

Merge release/0.7.1 into develop#171
GaryJones merged 3 commits into
developfrom
release/0.7.1

Conversation

@GaryJones
Copy link
Copy Markdown
Collaborator

No need for redundant development packages and other files to be available in the distributed plugin.

No need for redundant development packages and other files to be available in the distributed plugin.
@GaryJones GaryJones added the type: maintenance Routine maintenance and code quality improvements label Sep 9, 2023
@GaryJones GaryJones self-assigned this Sep 9, 2023
@codecov
Copy link
Copy Markdown

codecov Bot commented Sep 9, 2023

Codecov Report

Merging #171 (312e930) into develop (891a465) will not change coverage.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             develop     #171   +/-   ##
==========================================
  Coverage      17.54%   17.54%           
  Complexity       264      264           
==========================================
  Files             10       10           
  Lines           1305     1305           
==========================================
  Hits             229      229           
  Misses          1076     1076           

@GaryJones GaryJones merged commit fe6029b into develop Sep 9, 2023
@GaryJones GaryJones deleted the release/0.7.1 branch September 9, 2023 13:23
@GaryJones GaryJones added this to the 0.7.1 milestone Dec 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: maintenance Routine maintenance and code quality improvements

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant