Skip to content
Snippets Groups Projects

feat: use official docker image

Merged Wouter Deconinck requested to merge use-official-docker-image into master
All threads resolved!
Compare and Show latest version
1 file
+ 9
1
Compare changes
  • Side-by-side
  • Inline
+ 9
1
@@ -532,7 +532,15 @@ clean_unstable_mr:
--filter=reference=${registry}/*:unstable-mr*
--format "{{.ID}} {{.Repository}} {{.Tag}}" ;
done
| sed -n 's/unstable-mr-([0-9]+)-([0-9]+)(-nightly){0,1}$/& \1 \2/'
- for registry in
eicweb
eicweb.phy.anl.gov:4567/containers/eic_container
; do
docker images
--filter=reference=${registry}/*:unstable-mr*
--format "{{.ID}} {{.Repository}} {{.Tag}}" ;
done
| sed -n -E 's/unstable-mr-([0-9]+)-([0-9]+)(-nightly){0,1}$/& \1 \2/p'
| cat ; echo
| while read id repository tag project_id merge_request_iid ; do
state=$(curl --silent -L
Loading