Skip to content

GitLab

tests/Makefile: 'make should' always run all tests, then do a summary 

Closes #3033.
3 jobs for dev in 26 seconds (queued for 1 second)
6e4131d6
No related merge requests found.