Merge branch 'main' into release-2023-29

fiberplane · Jul 14, 2023 · 3663044 · 3663044
2 parents 1a2ec37 + 1952a35
commit 3663044
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/tasks/provider_manager.rs b/src/tasks/provider_manager.rs
@@ -185,7 +185,10 @@ async fn download_providers_tarball(
     for entry in archive.entries()? {
         let mut entry = entry?;
         let path = entry.path()?;
-        if !path.extension().is_some_and(|ext| ext == "wasm") {
+        if match path.extension() {
+            Some(ext) => ext != "wasm",
+            None => true,
+        } {
             continue;
         }