Skip to content

Conversation

@PierreQuinton
Copy link
Contributor

@PierreQuinton PierreQuinton commented Aug 8, 2025

Note that this does not remove tags if not needed anymore. I think this shouldn't in case we want to manually add a tag, for instance if we change documentation in the docstrings, then this could be tagged with docs even though no change happened in torchjd/docs.

In a later version, we could have all tags completely decided by the CI, For instance, the title of the PR could give the tag associated to the type of change, then we could do a diff of the built doc with the one on main to see if there are changes and tag as docs in this case etc... Some tags could remain addable such as breaking change or style.

@github-actions github-actions bot added the ci label Aug 8, 2025
@codecov
Copy link

codecov bot commented Aug 8, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

…tags, this is to be reverted"

This reverts commit e2338d1.
@ValerianRey
Copy link
Contributor

Screenshot from 2025-08-08 17-29-13

So nice

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants