Skip to content

fix: set correct DockerHub registry user and GitHub registry

Wouter Deconinck requested to merge docker-hub-registry-user into master

These were changes made necessary by containers/eic_container@9b81d13d but apparently we git clone that repository here and need to provide the correct environment for it...

Edited by Wouter Deconinck

Merge request reports