Build and publish

Merge pull request #11831 from nanaya/contest-mania-others #2308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
push_to_registry	8m 23s
trigger_deploy	15s
notify_pending_deploy	2s
	8m 40s