Merge pull request #16641 from MinaProtocol/dkijania/disable_publishing_to_debian

dkijania · web-flow · commit c15547b37afd · 2025-02-18T17:51:46.000+01:00
[CI] Disable publishing debians to debian repo
diff --git a/buildkite/src/Jobs/TearDown/PublishDebians.dhall b/buildkite/src/Jobs/TearDown/PublishDebians.dhall
@@ -38,7 +38,7 @@ in  Pipeline.build
             DebianVersions.dirtyWhen DebianVersions.DebVersion.Bullseye
         , path = "TearDown"
         , name = name
-        , tags = [ PipelineTag.Type.TearDown ]
+        , tags = [] : List PipelineTag.Type
         , mode = PipelineMode.Type.Stable
         }
       , steps =

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ in Pipeline.build`
`38`	`38`	`DebianVersions.dirtyWhen DebianVersions.DebVersion.Bullseye`
`39`	`39`	`, path = "TearDown"`
`40`	`40`	`, name = name`
`41`		`- , tags = [ PipelineTag.Type.TearDown ]`
	`41`	`+ , tags = [] : List PipelineTag.Type`
`42`	`42`	`, mode = PipelineMode.Type.Stable`
`43`	`43`	`}`
`44`	`44`	`, steps =`