Commit Graph

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