chore: Delete outdated assets for the nightly builds#3351

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

fabiomadge-patch-3dafny-lang/dafny:fabiomadge-patch-3Copy head branch name to clipboard