Skip to content

B3 Reproduction machinery (tracking) #57

Open

Description

@tamnd

Take published results and try to get them back. The verdict vocabulary is fixed in advance so that a result cannot be softened later by choosing gentler words.

This is the tracking issue for the milestone. Every box below is one issue and one pull request. Boxes get ticked when the pull request is merged and CI is green on main, not when the branch looks finished.

Checklist

Exit

The milestone is done when every box above is ticked and a v0.x.0 tag has been cut for it. Progress comments go on this issue as pull requests land, so the history of the milestone is readable from one page.

Activity

  1. added
    type: choreBuild, tooling, dependencies and repository upkeep
    trackingMilestone tracking issue with the checklist for a milestone
    on Sep 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    trackingMilestone tracking issue with the checklist for a milestonetype: choreBuild, tooling, dependencies and repository upkeep

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions