Skip to content

Improve PR messages #200

Closed
Task
#201
Closed
Improve PR messages#200
Task
#201
Assignees
thejhh
Labels
bitnetBitNet implementationtask

Description

@thejhh
thejhh
opened on May 21, 2025

We need to improve PR messages.

  • We need to add "Closes #CURRENT_TASK_ISSUE" so GitHub automatically closes the original task
  • The previous test coverage is not reported.
  • Fix benchmark extraction
  • Better link unchecked tasks to future work

Activity

  1. thejhh
    added a parent issue on May 21, 2025
  2. thejhh
    self-assigned this
    on May 21, 2025
  3. thejhh
    added the
    Task
    issue type on May 21, 2025
  4. thejhh
    added
    bitnetBitNet implementation
    task
    on May 21, 2025
  5. thejhh
    linked a pull request that will close this issue200 improve pr messages #201on May 21, 2025
  6. thejhh
    closed this as completedon May 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bitnetBitNet implementationtask

Type

Task

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions