Remove unnecessary lint job

ros-controls · Feb 18, 2024 · 0a557c2 · 0a557c2
1 parent 24894d1
commit 0a557c2
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/.github/workflows/ci-ros-lint.yml b/.github/workflows/ci-ros-lint.yml