Update README.md (#148)

We removed the separate `JuliaFormatter` workflow some time ago and subsumed it under the CI workflow.
vtjeng · Dec 16, 2023 · e5e908f · e5e908f
1 parent b0ebe49
commit e5e908f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -3,7 +3,6 @@
 [![CI](https://github.com/vtjeng/MIPVerify.jl/workflows/CI/badge.svg)](https://github.com/vtjeng/MIPVerify.jl/actions?query=workflow%3ACI+branch%3Amaster)
 [![PkgEval][pkgeval-img]][pkgeval-url]
 [![code coverage](https://codecov.io/gh/vtjeng/MIPVerify.jl/branch/master/graph/badge.svg)](http://codecov.io/github/vtjeng/MIPVerify.jl?branch=master)
-[![code formatting check status](https://github.com/vtjeng/MIPVerify.jl/workflows/JuliaFormatter/badge.svg?branch=master)](https://github.com/vtjeng/MIPVerify.jl/actions?query=workflow%3AJuliaFormatter+branch%3Amaster)
 [![docs: stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://vtjeng.github.io/MIPVerify.jl/stable)
 [![docs: dev](https://img.shields.io/badge/docs-dev-blue.svg)](https://vtjeng.github.io/MIPVerify.jl/dev)