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

Update version and documentation for release 7.1.0 #140

Merged

Conversation

gcongiu
Copy link
Contributor

@gcongiu gcongiu commented Dec 14, 2023

Pull Request Description

Author Checklist

  • Description
    Why this PR exists. Reference all relevant information, including background, issues, test failures, etc
  • Commits
    Commits are self contained and only do one thing
    Commits have a header of the form: module: short description
    Commits have a body (whenever relevant) containing a detailed description of the addressed problem and its solution
  • Tests
    The PR needs to pass all the tests

@gcongiu gcongiu force-pushed the 2023.12.14_updates-for-release-7.1.0 branch 5 times, most recently from ce85c22 to 39655b7 Compare December 20, 2023 14:49
@gcongiu gcongiu force-pushed the 2023.12.14_updates-for-release-7.1.0 branch from 39655b7 to 15031ea Compare December 20, 2023 14:57
@gcongiu gcongiu requested a review from jagode December 20, 2023 18:13
@gcongiu gcongiu merged commit 3ce9001 into icl-utk-edu:master Dec 20, 2023
26 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.

2 participants