Revert "Auxiliary commit to revert individual files from 877400a"

This reverts commit 19eb5173424b19d30a61fd968aa3381f45afff4d.
MinaProtocol · Sep 27, 2023 · 38712a8 · 38712a8
1 parent 141d6a6
commit 38712a8
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/buildkite/src/Jobs/Lint/Fast.dhall b/buildkite/src/Jobs/Lint/Fast.dhall
@@ -19,8 +19,6 @@ let RunInToolchain = ../../Command/RunInToolchain.dhall
 
 let Size = ../../Command/Size.dhall
 
-let B/SoftFail = B.definitions/commandStep/properties/soft_fail/Type
-
 let commands =
       [ Cmd.run "./scripts/lint_codeowners.sh"
       , Cmd.run "./scripts/lint_rfcs.sh"
@@ -49,7 +47,6 @@ in  Pipeline.build
                 "Fast lint steps; CODEOWNERs, RFCs, Check Snarky & Proof-Systems submodules, Preprocessor Deps"
             , key = "lint"
             , target = Size.Small
-            , soft_fail = Some (B/SoftFail.Boolean True)
             , docker = Some Docker::{
               , image = (../../Constants/ContainerImages.dhall).toolchainBase
               }