-
Jean-Philippe Evrard authored
As we are pretty much committed to github actions, we should probably rely on it to push the images at each commit merged on the master branch.
525f04b4
As we are pretty much committed to github actions, we should probably rely on it to push the images at each commit merged on the master branch.