push docker image

Merge pull request #2209 from planetarium/release/1.4.0 #197

Sign in to view logs

Triggered via push November 7, 2023 10:12

riemannulus

v200100

Status Success

Total duration 32s

Artifacts –

push_docker_image.yaml

on: push

Matrix: build_and_push

Matrix: tag