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
-