remove lint workflow

* It leads to many false positives.
lhdjung · Feb 23, 2024 · de91804 · de91804
1 parent 4050dc2
commit de91804
Showing 1 changed file with 0 additions and 32 deletions.
diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml