Added extra timeout

This commit is contained in:
Juan Font 2021-09-11 23:21:45 +02:00
parent c4e6ad1ec7
commit 11fbef4bf0

View file

@ -36,4 +36,6 @@ jobs:
sudo apt install -y make
- name: Run lint
with:
args: --timeout 4m
run: make lint