(Partially?) Fix nightly build#6380

robin-aws merged 3 commits intomasterdafny-lang/dafny:masterfrom

fix-nightly-build-2025-10-17dafny-lang/dafny:fix-nightly-build-2025-10-17Copy head branch name to clipboard