Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

vine: typo #4036

Merged
merged 1 commit into from
Jan 27, 2025
Merged

vine: typo #4036

merged 1 commit into from
Jan 27, 2025

Conversation

JinZhou5042
Copy link
Member

Proposed Changes

Give an overall description of the changes, along with the context and motivation.
Mention relevant issues and pull requests as needed.

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 Jan 25, 2025
@JinZhou5042 JinZhou5042 requested a review from btovar January 25, 2025 06:34
@btovar btovar merged commit 69e4db8 into cooperative-computing-lab:master Jan 27, 2025
10 checks passed
btovar pushed a commit that referenced this pull request Jan 30, 2025
@JinZhou5042 JinZhou5042 deleted the typo branch February 6, 2025 17:08
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.

2 participants