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