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

Prepare release 10.2.2.3 #220

Closed
13 tasks done
popescu-v opened this issue Aug 1, 2024 · 0 comments · Fixed by #221
Closed
13 tasks done

Prepare release 10.2.2.3 #220

popescu-v opened this issue Aug 1, 2024 · 0 comments · Fixed by #221
Assignees
Labels
Status/Done The issue has been addressed and merged to the dev branch Type/DevChore Repository maintainance, CI/CD or non user-facing refactorings
Milestone

Comments

@popescu-v
Copy link
Collaborator

popescu-v commented Aug 1, 2024

Checklist (minor release):

  • Create branch
  • Update CHANGELOG.md
  • Push this issue branch and create PR for it
  • Merge PR into dev
  • Create PR to merge dev into main;
  • Merge PR into main;
  • Git tag main with 10.2.2.3;
  • Push the 10.2.2.3 tag on main; thus, [.github/workflows/pip.yml] and [.github/workflows/conda.yml] are automatically launched on the 10.2.2.3 tag; whence, a GitHub pre-release is created, the Pip packages are pushed to the pre-release, and the Conda packages are pushed to the default khiops-dev channel;
  • Launch [.github/workflows/conda.yml] manually, on the 10.2.2.3 tag, selecting the official khiops channel;
  • Copy relevant CHANGELOG.md contents to the 10.2.2.3 GitHub pre-release;
  • Launch [.github/workflows/api-docs.yml] manually on the 10.2.2.3 tag and instruct it to deploy the documentation pages;
  • (After the Conda package has been pushed to the official khiops channel and the API doc has been deployed) Transform the 10.2.2.3 GitHub pre-release into a release.
  • Make dev point to the merge commit just created in main. This is necessary to include the merge commit into main to calculate intermediary versions with Versioneer. Steps:
        git switch dev
        git reset --hard main
        git push origin dev # (you need to remove the protections of dev for this step)
@popescu-v popescu-v added this to the 10.2.2.3 milestone Aug 1, 2024
@popescu-v popescu-v self-assigned this Aug 1, 2024
@popescu-v popescu-v linked a pull request Aug 1, 2024 that will close this issue
@folmos-at-orange folmos-at-orange added Type/DevChore Repository maintainance, CI/CD or non user-facing refactorings Status/Done The issue has been addressed and merged to the dev branch labels Sep 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Status/Done The issue has been addressed and merged to the dev branch Type/DevChore Repository maintainance, CI/CD or non user-facing refactorings
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants