feat: support revised nightly releases (nightly-YYYY-MM-DD-revK)#12461

kim-em merged 1 commit intomasterleanprover/lean4:masterfrom

feat/nightly-revisionsleanprover/lean4:feat/nightly-revisionsCopy head branch name to clipboard