ci: Disable linters

2020-07-02 20:41:59 +02:00 · 2020-07-02 20:41:59 +02:00 · 57b3b7bd5b
parent 1abba06dc6
commit 57b3b7bd5b
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -3,6 +3,7 @@ on: [push, pull_request]

 jobs:
  linters:
+    if: false  # FIXME
    runs-on: ubuntu-latest
    strategy:
      fail-fast: false