Closed changliao1025 closed 2 months ago
Change the build folder structure so a new build folder should be created each time. This is easier for docker operations such as mybinder service.
Change the build folder structure so a new build folder should be created each time. This is easier for docker operations such as mybinder service.