elan: add \glean\

sjtug · Oct 18, 2023 · 21f6016 · 21f6016
1 parent dfbab00
commit 21f6016
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -331,6 +331,11 @@ fn main() {
                     buffer_path.clone().unwrap(),
                     true,
                 );
+                let glean_src = stream_pipe::ByteStreamPipe::new(
+                    GitHubRelease::new(String::from("alissa-tung/glean"), 1),
+                    buffer_path.clone().unwrap(),
+                    true,
+                );
                 let lean_src = stream_pipe::ByteStreamPipe::new(
                     GitHubRelease::new(
                         String::from("leanprover/lean4"),