Skip to content

415 backport v10#419

Merged
popescu-v merged 2 commits intodev-v10from
415-backport-v10
Jun 16, 2025
Merged

415 backport v10#419
popescu-v merged 2 commits intodev-v10from
415-backport-v10

Conversation

@popescu-v
Copy link
Copy Markdown
Collaborator

@popescu-v popescu-v commented Jun 16, 2025

backport of #417 to v10


TODO Before Asking for a Review

  • Rebase your branch to the latest version of dev (or main for release PRs)
  • Make sure all CI workflows are green
  • When adding a public feature/fix: Update the Unreleased section of CHANGELOG.md (no date)
  • Self-Review: Review "Files Changed" tab and fix any problems you find
  • API Docs (only if there are changes in docstrings, rst files or samples):
    • Check the docs build without warning: see the log of the API Docs workflow
    • Check that your changes render well in HTML: download the API Docs artifact and open index.html
    • If there are any problems it is faster to iterate by building locally the API Docs

Stop deploying it directly. khiops-doc would do this.
To this end, also:
- make the Khiops Python tutorial repository reference customizable, so
  that we can choose which v10 vs v11 tutorial versions to use when
  building the Python API docs;
- clone the Khiops Python tutorial repository via HTTPS in the doc build
  script, as there is no need for any authentication to clone this.
@popescu-v popescu-v merged commit e5fbda9 into dev-v10 Jun 16, 2025
3 checks passed
@popescu-v popescu-v deleted the 415-backport-v10 branch June 16, 2025 12:06
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