diff --git a/buildkite/src/Command/RunInToolchain.dhall b/buildkite/src/Command/RunInToolchain.dhall index 9068bad48437..60c2b7444a1a 100644 --- a/buildkite/src/Command/RunInToolchain.dhall +++ b/buildkite/src/Command/RunInToolchain.dhall @@ -37,7 +37,6 @@ let runInToolchainBuster : List Text -> Text -> List Cmd.Type = \(innerScript : Text) -> runInToolchainImage ContainerImages.minaToolchainBuster environment innerScript - let runInToolchain : List Text -> Text -> List Cmd.Type = \(environment : List Text) -> \(innerScript : Text) -> diff --git a/src/lib/mina_version/normal/gen.sh b/src/lib/mina_version/normal/gen.sh index ad34bfa5b6c0..1e2442b10c0c 100755 --- a/src/lib/mina_version/normal/gen.sh +++ b/src/lib/mina_version/normal/gen.sh @@ -9,7 +9,6 @@ root="${MINA_ROOT-$(git rev-parse --show-toplevel || echo ../../../../../..)}" pushd "$root" > /dev/null id="${MINA_COMMIT_SHA1-$(git rev-parse --verify HEAD || echo "")}" commit_id_short="$(printf "%s" "$id" | cut -c1-8)" - if [[ -e .git ]] && ! git diff --quiet; then id="[DIRTY]$id"; fi commit_date="${MINA_COMMIT_DATE-$(git show HEAD -s --format="%cI" || echo "")}" mina_submodule=$(git submodule status | grep "mina" || true) @@ -20,7 +19,6 @@ pushd "$root" > /dev/null fi marlin_commit_id="${MARLIN_COMMIT_ID-$(git rev-parse --verify HEAD || echo "")}" marlin_commit_id_short="$(printf '%s' "$marlin_commit_id" | cut -c1-8)" - if [[ -e .git ]] && ! git diff --quiet; then marlin_commit_id="[DIRTY]$marlin_commit_id"; fi marlin_commit_date="${MARLIN_COMMIT_DATE-$(git show HEAD -s --format="%cI" || echo "")}" popd > /dev/null popd > /dev/null