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.

Sign up for GitHub

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

Jump to bottom

TEST COMMIT DO NOT MERGE #813

Closed
wants to merge 1 commit into from
Closed

TEST COMMIT DO NOT MERGE #813

wants to merge 1 commit into from

Conversation

mehalter
Copy link
Member

No description provided.

@github-actions
Copy link
Contributor

Review Checklist

Does this PR follow the development guidelines? Following is a partial checklist:

Tests

  • New features and bug fixes have unit tests
  • New modules have tests that are ultimately called by the test runner (test/runtests.jl)
  • Existing tests have not been deleted
  • Code coverage >= 90% or reduction justified in PR

Documentation

  • All exported functions, types, and constants have docstrings, written in complete sentences
  • Citations are given for any constructions, algorithms, or code drawn from external sources

Other

  • Style guidelines are followed, including indent width 2
  • Changes breaking backwards compatibility have been approved

@mehalter
Copy link
Member Author

Success!

@mehalter mehalter closed this Jun 21, 2023
@mehalter mehalter deleted the test branch June 21, 2023 22:21
@mehalter mehalter mentioned this pull request Jun 21, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@algebraicjuliabot algebraicjuliabot Awaiting requested review from algebraicjuliabot

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mehalter