diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 0961297a..d1c21f72 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -36,4 +36,6 @@ jobs: sudo apt install -y make - name: Run lint + with: + args: --timeout 4m run: make lint