add mode

MinaProtocol · Oct 10, 2023 · baef6b0 · baef6b0
1 parent 625cb14
commit baef6b0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/buildkite/src/Command/MinaArtifact.dhall b/buildkite/src/Command/MinaArtifact.dhall
@@ -21,8 +21,7 @@ let Profiles = ../Constants/Profiles.dhall
 in
 
 let pipeline : DebianVersions.DebVersion -> Profiles.Type -> PipelineMode.Type -> Pipeline.Config.Type = \(debVersion : DebianVersions.DebVersion) ->
-  \(profile: Profiles.Type) -> 
-  \(profile: PipelineMode.Type) ->
+  \(profile: Profiles.Type) -> \(mode: PipelineMode.Type) ->
     Pipeline.Config::{
       spec =
         JobSpec::{