Skip to content
Back to pull request #187

[CI] Update pre-commit and remove ros-lint #1032

Sign in to view logs

[CI] Update pre-commit and remove ros-lint

[CI] Update pre-commit and remove ros-lint #1032

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coverage build - rolling / coverage build rolling
6m 11s
6m 11s