From 0f9240d768fc226304e2f258d5bffb73c9a84060 Mon Sep 17 00:00:00 2001
From: Callum Waters <cmwaters19@gmail.com>
Date: Tue, 15 Feb 2022 16:40:15 +0100
Subject: [PATCH] lint

---
 .github/workflows/lint.yml         | 2 +-
 .github/workflows/linter.yml       | 2 +-
 .markdownlint.yml                  | 4 ++--
 spec/ivy-proofs/docker-compose.yml | 1 -
 4 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 12bf3b553..40b00eba1 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,4 +1,4 @@
-name: Lint
+name: Golang Linter
 # Lint runs golangci-lint over the entire Tendermint repository
 # This workflow is run on every pull request and push to master
 # The `golangci` job will pass without running if no *.{go, mod, sum} files have been modified.
diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml
index 628b1af69..d430485ab 100644
--- a/.github/workflows/linter.yml
+++ b/.github/workflows/linter.yml
@@ -1,4 +1,4 @@
-name: Lint
+name: Markdown Linter
 on:
   push:
     branches:
diff --git a/.markdownlint.yml b/.markdownlint.yml
index baa78a116..80e3be4ed 100644
--- a/.markdownlint.yml
+++ b/.markdownlint.yml
@@ -1,8 +1,8 @@
 default: true
 MD001: false
-MD007: { indent: 4 }
+MD007: {indent: 4}
 MD013: false
-MD024: { siblings_only: true }
+MD024: {siblings_only: true}
 MD025: false
 MD033: false
 MD036: false
diff --git a/spec/ivy-proofs/docker-compose.yml b/spec/ivy-proofs/docker-compose.yml
index 1d4a8ffe1..e0612d4b1 100644
--- a/spec/ivy-proofs/docker-compose.yml
+++ b/spec/ivy-proofs/docker-compose.yml
@@ -5,4 +5,3 @@ services:
     volumes:
       - ./:/home/user/tendermint-proof:ro
       - ./output:/home/user/tendermint-proof/output:rw
-