search

ros-controls / control.ros.org

https://control.ros.org
Apache License 2.0
9 stars 35 forks source link

Rework checks and add html-with-errors make target (backport #266) #272

Closed mergify[bot] closed 1 month ago

mergify[bot] commented 1 month ago

For debugging purposes of the workflows.

This is an automatic backport of pull request #266 done by Mergify.

mergify[bot] commented 1 month ago

Cherry-pick of 67032d1475dd49a13a53f39904e03fd2956d93c6 has failed:

On branch mergify/bp/iron/pr-266
Your branch is up to date with 'origin/iron'.

You are currently cherry-picking commit 67032d1.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Changes to be committed:
    renamed:    .github/workflows/sphinx-check-warnings-iron.yml -> .github/workflows/sphinx-check-links-pr.yml
    modified:   .github/workflows/sphinx-check-links.yml
    modified:   Makefile

Unmerged paths:
  (use "git add/rm <file>..." as appropriate to mark resolution)
    deleted by us:   .github/workflows/sphinx-check-warnings.yml
    both modified:   README.md

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally