push docker image

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

Sign in to view logs

Triggered via push November 7, 2023 07:17

riemannulus

main

Status Success

Total duration 5m 38s

Artifacts –

push_docker_image.yaml

on: push

Matrix: build_and_push

Matrix: tag