Skip to content
Deploy to dockerhub

Merge branch 'develop' into update_amici #1060

Sign in to view logs

Merge branch 'develop' into update_amici

Merge branch 'develop' into update_amici #1060

Triggered via push October 18, 2024 09:28
@dweindldweindl
pushed 3fae695
update_amici
Status Success
Total duration 11m 28s
Artifacts –

deploy_dockerhub.yml

on: push
check-secret
0s
check-secret
Deploy to dockerhub
11m 11s
Deploy to dockerhub
Fit to window
Zoom out
Zoom in