Deploy to dockerhub

git subrepo clone --branch=ee2e0d2189e047558c8dc1a1d8fc171446ec4203 -… #1052

Sign in to view logs

Triggered via push October 16, 2024 06:29

dweindl

update_amici

Status Success

Total duration 11m 57s

Artifacts –

deploy_dockerhub.yml

on: push

Deploy to dockerhub