fix latest docker image not being pushed on merge to main#5636

Merged

deivid-rodriguez merged 1 commit intomainfrom

jakecoffman/fix-latest-not-being-pushed

Sep 6, 2022

Commits on Sep 6, 2022

fix latest not being pushed on merge to main
jakecoffman
committed