Keep make build, just as an extra test

This commit is contained in:
Juan Font 2021-06-13 15:04:30 +02:00
parent 61054638d1
commit 42e147e46f

View file

@ -41,3 +41,5 @@ jobs:
- name: Run lint
run: make lint
- name: Run build
run: make