Skip to content
Deploy to dockerhub

Merge branch 'develop' into no_priors #937

Sign in to view logs

Merge branch 'develop' into no_priors

Merge branch 'develop' into no_priors #937

Triggered via push September 16, 2024 16:20
@dweindldweindl
pushed 885d70a
no_priors
Status Success
Total duration 14s
Artifacts –

deploy_dockerhub.yml

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