Build and publish

Merge pull request #10709 from nanaya/badge-size #1334

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
push_to_registry	7m 41s
trigger_deploy	11s
notify_pending_deploy	0s
	7m 52s