lint

.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.

.github/workflows/linter.yml

@@ -1,4 +1,4 @@
-name: Lint
+name: Markdown Linter
 on:
   push:
     branches:

.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

spec/ivy-proofs/docker-compose.yml

@@ -5,4 +5,3 @@ services:
     volumes:
       - ./:/home/user/tendermint-proof:ro
       - ./output:/home/user/tendermint-proof/output:rw
-