beremiz

Github CI: do not save docker image if just restored from cache

2023-07-20, Edouard Tisserant
2596dabeea04
Github CI: do not save docker image if just restored from cache
from etherlab.etherlab import *
from util.BitmapLibrary import AddBitmapFolder
import util.paths as paths
AddBitmapFolder(os.path.join(paths.AbsDir(__file__), "images"))