replace internal coverage tools with PSCoverage #39

Merged

OCram85 merged 3 commits from coverage into dev

OCram85 commented

Owner

There is no content yet.

The pull request has been merged as 397cc5be70.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b coverage dev

git pull origin coverage

Step 2:

Merge the changes and update on Gitea.

git checkout dev

git merge --no-ff coverage

git push origin dev

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.