7 commits

Author	SHA1	Message	Date
Juan Font	eae1b6a3de	More timeout in linting	2021-09-13 22:51:58 +02:00
Juan Font	31cc61478f	More timeout in linting	2021-09-13 22:47:38 +02:00
Juan Font	3095c1e150	Trying to correct Actions issues	2021-09-13 22:45:31 +02:00
Juan Font	11fbef4bf0	Added extra timeout	2021-09-11 23:21:45 +02:00
Juan Font	8acaea0fbe	Increased timeout	2021-09-10 00:44:27 +02:00
Kristoffer Dalby	28ed8a5742	Actually rename lint	2021-08-21 15:42:23 +01:00
Kristoffer Dalby	f749be1490	Split lint and test CI files ... This commit splits the lint and test steps into two different jobs in github actions. Consider this a suggestion, the idea is that when we look at PRs we will see explicitly which one of the two types of checks fails without having to open Github actions.	2021-08-21 15:40:27 +01:00