Deploy to dockerhub

git subrepo clone (merge) --branch=c11c51ee1b2f8ed07677fcb47e81ac014e… #1051

Sign in to view logs

Triggered via push October 14, 2024 06:37

dweindl

update_amici

Status Success

Total duration 12m 4s

Artifacts –

deploy_dockerhub.yml

on: push

Deploy to dockerhub