Skip to content

ci: push to registry on core as well

mminar requested to merge push-to-core into main

Signed-off-by: Michal Minář michal.minar@id.ethz.ch

Merge request reports