Deploy to dockerhub

git subrepo clone (merge) --branch=65ac883bd5ff0769181b0a1d1c313b4ada… #1053

Sign in to view logs

Triggered via push October 17, 2024 15:00

dweindl

update_amici

Status Success

Total duration 12m 22s

Artifacts –

deploy_dockerhub.yml

on: push

Deploy to dockerhub