gitlab-ci: Add a make check step.

Invoke `make check` at the end of the default build, since we
don't do `make distcheck` for all the jobs. At the moment this
does nothing, but it should give better coverage if any test
harnesses are hooked up to the target.
parent a10be0f9
Pipeline #2051 passed with stage
in 2 minutes and 31 seconds