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

ci: github: git clean after rebase #78524

Merged
merged 1 commit into from
Sep 19, 2024

Commits on Sep 17, 2024

  1. ci: github: git clean after rebase

    After rebasing the PR on main, the local copy of the repository may
    still contain untracked directories and files (for example, the commits
    from the pull request are "git mv"ing files out of directories that are
    then left empty). Add a git clean so that we run CI in conditions
    that are as close as possible to a fresh clone.
    
    Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>
    kartben committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    8c73260 View commit details
    Browse the repository at this point in the history