fix: nightly revision date logic and mathlib trigger auth#12463

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

nightly-rev-followupleanprover/lean4:nightly-rev-followupCopy head branch name to clipboard