Update CI and vmm.mk
in preparation for Makefile changes
#615
This job succeeded
Loading
vmm.mk
in preparation for Makefile changes
#615