Skip to content

Conversation

@JinZhou5042
Copy link
Member

Proposed Changes

Some bugfixes for the library code

Merge Checklist

The following items must be completed before PRs can be merged.
Check these off to verify you have completed all steps.

  • make test Run local tests prior to pushing.
  • make format Format source code to comply with lint policies. Note that some lint errors can only be resolved manually (e.g., Python)
  • make lint Run lint on source code prior to pushing.
  • Manual Update: Update the manual to reflect user-visible changes.
  • Type Labels: Select a github label for the type: bugfix, enhancement, etc.
  • Product Labels: Select a github label for the product: TaskVine, Makeflow, etc.
  • PR RTM: Mark your PR as ready to merge.

@JinZhou5042 JinZhou5042 self-assigned this Oct 14, 2025
@JinZhou5042 JinZhou5042 requested a review from tphung3 November 6, 2025 20:52
@JinZhou5042 JinZhou5042 requested a review from tphung3 December 2, 2025 18:00
@JinZhou5042 JinZhou5042 requested a review from tphung3 December 4, 2025 16:15
@btovar
Copy link
Member

btovar commented Jan 5, 2026

Waiting on the changes suggested by @tphung3.

@JinZhou5042
Copy link
Member Author

Resolved some remaining concerns per the dicussion with @tphung3 this morning.

@JinZhou5042 JinZhou5042 requested a review from tphung3 January 6, 2026 08:03
@btovar
Copy link
Member

btovar commented Jan 6, 2026

Ready to merge?

@JinZhou5042
Copy link
Member Author

RTM

@btovar btovar merged commit 1279d26 into cooperative-computing-lab:master Jan 6, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants