From 11fbef4bf072b4fc696be9f5670752cc7f554b3d Mon Sep 17 00:00:00 2001
From: Juan Font <juanfontalonso@gmail.com>
Date: Sat, 11 Sep 2021 23:21:45 +0200
Subject: [PATCH] Added extra timeout

---
 .github/workflows/lint.yml | 2 ++
 1 file changed, 2 insertions(+)

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