- Notifications
You must be signed in to change notification settings - Fork 396
Pull requests: coverlet-coverage/coverlet
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Refactor GitHub Actions workflows: codeql, release-drafter chore PR label for maintenance (dependencies, build, scripts)
#1790 by Bertk was merged Dec 9, 2025 Loading…
Update contributor status in README skip-changelog ignore PR for change.log document (release-drafter
#1787 by MarcoRossignoli was merged Dec 2, 2025 Loading…
Add devcontainer.json for .NET development setup chore PR label for maintenance (dependencies, build, scripts)
#1784 by Bertk was merged Nov 18, 2025 Loading…
Update GitHub Actions to use latest versions of stale and github-scri… chore PR label for maintenance (dependencies, build, scripts)
#1778 by Bertk was merged Nov 16, 2025 Loading…
Update to System.CommandLine 2.0 and refactor usage (#1776) dependencies Pull requests that update a dependency file enhancement General enhancement request
#1777 by Bertk was merged Nov 16, 2025 Loading…
Normalize spelling PR label for maintenance (dependencies, build, scripts) documentation
behaviour -> behavior chore #1769 by xtqqczze was merged Nov 15, 2025 Loading…
doc: update exclude from code coverage example (fixes #1764) chore PR label for maintenance (dependencies, build, scripts) documentation
#1765 by cboudereau was merged Nov 2, 2025 Loading…
enable skipped tests chore PR label for maintenance (dependencies, build, scripts)
#1750 by Bertk was merged Aug 20, 2025 Loading…
Fix not excluded branchpoints in async state machine bug Something isn't working
#1745 by daveMueller was merged Apr 9, 2025 Loading…
Use multi targets projects for coverlet.collector, coverlet.msbuild.tasks packages dependencies Pull requests that update a dependency file enhancement General enhancement request
#1742 by Bertk was merged Nov 15, 2025 Loading…
use .NET 8.0 target framework for coverlet.core and remove Newtonsoft.Json breaking-change Issue or PR that represents a breaking change in features or functional. dependencies Pull requests that update a dependency file enhancement General enhancement request
#1733 by Bertk was merged Nov 14, 2025 Loading…
Update changelog and back bump version chore PR label for maintenance (dependencies, build, scripts) documentation
#1730 by daveMueller was merged Jan 18, 2025 Loading…
Update version and changelog chore PR label for maintenance (dependencies, build, scripts) documentation
#1725 by daveMueller was merged Dec 31, 2024 Loading…
Align version to new release skip-changelog ignore PR for change.log document (release-drafter
#1724 by daveMueller was merged Dec 30, 2024 Loading…
Previous Next
ProTip! Follow long discussions with comments:>50.