Fix #12046: skip publishing nightly build when no new commits since last publish#12074

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

griggt:fix-#12046griggt/dotty:fix-#12046Copy head branch name to clipboard