convert to profiles name

Author: dkijania

buildkite/src/Command/MinaArtifact.dhall

@@ -31,7 +31,7 @@ let pipeline : DebianVersions.DebVersion -> Profiles.Type -> Pipeline.Config.Typ
         Command.build
           Command.Config::{
             commands = DebianVersions.toolchainRunner debVersion [
-              "DUNE_PROFILE=${Profiles.lowerName profile}",
+              "DUNE_PROFILE=${Profiles.duneProfile profile}",
               "AWS_ACCESS_KEY_ID",
               "AWS_SECRET_ACCESS_KEY",
               "MINA_BRANCH=$BUILDKITE_BRANCH",