From 594b5daa9dc5e6ae3b07459ccc578c105baf91c5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 Jul 2022 17:18:04 -0700
Subject: [PATCH] remove download of mullinux

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index a70af4cbd..a3fe017e5 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -402,11 +402,6 @@ stages:
       inputs:
         artifact: 'ManyLinuxBuild'
         path: $(Agent.TempDirectory)
-    - task: DownloadPipelineArtifact@2
-      displayName: 'Download MuslLinux Build'
-      inputs:
-        artifact: 'MuslLinuxBuild'
-        path: $(Agent.TempDirectory)
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Win32 Build'
       inputs: