3 Commits

Author	SHA1	Message	Date
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
Juan Font	42e147e46f	Keep make build, just as an extra test	2021-06-13 15:04:30 +02:00
Juan Font	e085d733d5	Rename original CI pipeline to test	2021-06-13 13:12:48 +02:00