Skip to content

Commit e452830

Browse files
committed
Finalize issue 23 plan record
1 parent 084c9c6 commit e452830

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

issue-23-communication-contracts.plan.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,7 @@ Adopt `ManagedCode.Communication` for the first public runtime success and failu
7070
- `dotnet test DotPilot.Tests/DotPilot.Tests.csproj --settings DotPilot.Tests/coverlet.runsettings --collect:"XPlat Code Coverage"`
7171
Done when: the commands are green or any remaining blocker is explicitly documented here.
7272

73-
- [ ] Step 7: Create the PR for issue `#23`, then continue from a fresh branch for the next slice.
73+
- [x] Step 7: Create the PR for issue `#23`, then continue from a fresh branch for the next slice.
7474
Verification: the branch and PR flow matches the enforced repo workflow.
7575
Done when: the issue `#23` PR exists and follow-up work no longer accumulates on its review branch.
7676

@@ -88,6 +88,7 @@ Adopt `ManagedCode.Communication` for the first public runtime success and failu
8888
- `dotnet test DotPilot.slnx` passed with `0` failed, `49` passed, and `0` skipped.
8989
- `dotnet test DotPilot.Tests/DotPilot.Tests.csproj --settings DotPilot.Tests/coverlet.runsettings --collect:"XPlat Code Coverage"` passed with `0` failed, `35` passed, and `0` skipped.
9090
- Coverage from `DotPilot.Tests/TestResults/57d524aa-22ea-4a88-acb2-3757c3eb671c/coverage.cobertura.xml` is `99.20%` line coverage and `86.66%` branch coverage across the covered production surface.
91+
- PR created: `https://github.com/managedcode/dotPilot/pull/75`.
9192

9293
## Failing Tests Tracker
9394

0 commit comments

Comments
 (0)