elan: add glean (#126)

* elan: add \`glean\` * elan: nightly
sjtug · Oct 19, 2023 · 96c5460 · 96c5460
1 parent dfbab00
commit 96c5460
Show file tree

Hide file tree

Showing 2 changed files with 22 additions and 0 deletions.
diff --git a/src/lean/elan.rs b/src/lean/elan.rs
@@ -6,4 +6,8 @@ pub struct ElanConfig {
     pub retain_elan_versions: usize,
     #[structopt(long, default_value = "30")]
     pub retain_lean_versions: usize,
+    #[structopt(long, default_value = "30")]
+    pub retain_lean_nightly_versions: usize,
+    #[structopt(long, default_value = "1")]
+    pub retain_glean_versions: usize,
 }
diff --git a/src/main.rs b/src/main.rs
@@ -331,6 +331,14 @@ fn main() {
                     buffer_path.clone().unwrap(),
                     true,
                 );
+                let glean_src = stream_pipe::ByteStreamPipe::new(
+                    GitHubRelease::new(
+                        String::from("alissa-tung/glean"),
+                        source.retain_glean_versions,
+                    ),
+                    buffer_path.clone().unwrap(),
+                    true,
+                );
                 let lean_src = stream_pipe::ByteStreamPipe::new(
                     GitHubRelease::new(
                         String::from("leanprover/lean4"),
@@ -339,12 +347,22 @@ fn main() {
                     buffer_path.clone().unwrap(),
                     true,
                 );
+                let lean_nightly_src = stream_pipe::ByteStreamPipe::new(
+                    GitHubRelease::new(
+                        String::from("leanprover/lean4-nightly"),
+                        source.retain_lean_nightly_versions,
+                    ),
+                    buffer_path.clone().unwrap(),
+                    true,
+                );
                 let lean_org_repo_src = merge_pipe! {
                     lean4: lean_src,
+                    lean4_nightly: lean_nightly_src,
                 };
                 let unified = merge_pipe! {
                     elan: elan_src,
                     leanprover: lean_org_repo_src,
+                    glean: glean_src,
                 };
                 let indexed = index_pipe::IndexPipe::new(
                     unified,