Commit c863b3c848fc07c8041d81226b0cc207a62034c5

Edward Thomson 2019-11-24T16:49:23

ci: enable the VALGRIND flag on builds