From 38712a8bc85cc4544ac490b9572df65d1b44d98a Mon Sep 17 00:00:00 2001
From: dkijania <dariusz@o1labs.org>
Date: Wed, 27 Sep 2023 19:10:43 +0200
Subject: [PATCH] Revert "Auxiliary commit to revert individual files from
 877400a0a0ed2bdcb76df77c74e1b2f83e67ba6c"

This reverts commit 19eb5173424b19d30a61fd968aa3381f45afff4d.
---
 buildkite/src/Jobs/Lint/Fast.dhall | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/buildkite/src/Jobs/Lint/Fast.dhall b/buildkite/src/Jobs/Lint/Fast.dhall
index 576adc29bcf..fc96486a180 100644
--- 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
               }