add new command for building toolchain dockers (!ci-toolchain-me)

build toolchain dockers in different pipeline
MinaProtocol · Nov 28, 2023 · aaaa5e7 · aaaa5e7
1 parent 7d11e9b
commit aaaa5e7
Show file tree

Hide file tree

Showing 5 changed files with 44 additions and 5 deletions.
diff --git a/buildkite/src/Jobs/Release/MinaToolchainArtifactBullseye.dhall b/buildkite/src/Jobs/Release/MinaToolchainArtifactBullseye.dhall
@@ -30,7 +30,7 @@ Pipeline.build
         ],
         path = "Release",
         name = "MinaToolchainArtifactBullseye",
-        tags = [ PipelineTag.Type.Long, PipelineTag.Type.Release ]
+        tags = [ PipelineTag.Type.Toolchain ]
       },
     steps = [
 

diff --git a/buildkite/src/Jobs/Release/MinaToolchainArtifactBuster.dhall b/buildkite/src/Jobs/Release/MinaToolchainArtifactBuster.dhall
@@ -31,7 +31,7 @@ Pipeline.build
         ],
         path = "Release",
         name = "MinaToolchainArtifactBuster",
-        tags = [ PipelineTag.Type.Long, PipelineTag.Type.Release ],
+        tags = [ PipelineTag.Type.Toolchain ],
         mode = PipelineMode.Type.Stable        
       },
     steps = [

diff --git a/buildkite/src/Pipeline/Filter.dhall b/buildkite/src/Pipeline/Filter.dhall
@@ -5,14 +5,15 @@
 let Prelude = ../External/Prelude.dhall
 let Tag = ./Tag.dhall
 
-let Filter : Type = < FastOnly | Long | LongAndVeryLong | TearDownOnly | AllTests >
+let Filter : Type = < FastOnly | Long | LongAndVeryLong | TearDownOnly | ToolchainsOnly | AllTests >
 
 let tags: Filter -> List Tag.Type = \(filter: Filter) -> 
   merge {
     FastOnly = [ Tag.Type.Fast ]
     , LongAndVeryLong = [ Tag.Type.Long, Tag.Type.VeryLong ]
     , Long = [ Tag.Type.Long ]
     , TearDownOnly = [ Tag.Type.TearDown ]
+    , ToolchainsOnly = [ Tag.Type.Toolchain ]
     , AllTests = [ Tag.Type.Lint, Tag.Type.Release, Tag.Type.Test ]
   } filter
 
@@ -21,6 +22,7 @@ let show: Filter -> Text = \(filter: Filter) ->
     FastOnly = "FastOnly"
     , LongAndVeryLong = "LongAndVeryLong"
     , Long = "Long"
+    , ToolchainsOnly = "Toolchain"
     , TearDownOnly = "TearDownOnly"
     , AllTests = "AllTests"
   } filter

diff --git a/buildkite/src/Pipeline/Tag.dhall b/buildkite/src/Pipeline/Tag.dhall
@@ -5,7 +5,7 @@
 let Prelude = ../External/Prelude.dhall
 let List/any = Prelude.List.any
 
-let Tag : Type = < Fast | Long | VeryLong | TearDown | Lint | Release | Test  >
+let Tag : Type = < Fast | Long | VeryLong | TearDown | Lint | Release | Test | Toolchain  >
 
 let toNatural: Tag -> Natural = \(tag: Tag) -> 
   merge {
@@ -16,6 +16,7 @@ let toNatural: Tag -> Natural = \(tag: Tag) ->
     , Lint = 5
     , Release = 6
     , Test = 7
+    , Toolchain = 8
   } tag
 
 let equal: Tag -> Tag -> Bool = \(left: Tag) -> \(right: Tag) ->
@@ -36,7 +37,8 @@ let capitalName = \(tag : Tag) ->
     , TearDown = "TearDown"
     , Lint = "Lint"
     , Release = "Release"
-    , Test = "Test" 
+    , Test = "Test"
+    , Toolchain = "Toolchain" 
   } tag
 
 let lowerName = \(tag : Tag) ->
@@ -48,6 +50,7 @@ let lowerName = \(tag : Tag) ->
     , Lint = "lint"
     , Release = "release"
     , Test = "test" 
+    , Toolchain = "toolchain"
   } tag
 
 

diff --git a/frontend/ci-build-me/src/index.js b/frontend/ci-build-me/src/index.js
@@ -170,6 +170,40 @@ const handler = async (event, req) => {
         ];
       }
     }
+
+ 	else if (
+      // we are creating the comment
+      req.body.action == "created" &&
+      // and this is actually a pull request
+      req.body.issue.pull_request &&
+      req.body.issue.pull_request.url &&
+      // and the comment contents is exactly the slug we are looking for
+      req.body.comment.body == "!ci-toolchain-me"
+    ) {
+      const orgData = await getRequest(req.body.sender.organizations_url);
+      // and the comment author is part of the core team
+      if (
+          orgData.data.filter((org) => org.login == "MinaProtocol").length > 0
+      ) {
+        const prData = await getRequest(req.body.issue.pull_request.url);
+        const buildkite = await runBuild(
+          {
+            sender: req.body.sender,
+            pull_request: prData.data,
+          },
+          "mina-toolchains-build",
+          {}
+        );
+        return [buildkite];
+      } else {
+        // NB: Users that are 'privately' a member of the org will not be able to trigger CI jobs
+        return [
+          "comment author is not (publically) a member of the core team",
+          "comment author is not (publically) a member of the core team",
+        ];
+      }
+    }
+
     return null;
   };