Update README.md (#145)

p4lang · May 7, 2024 · bf8162e · bf8162e
1 parent f10a3f6
commit bf8162e
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,8 +1,6 @@
 ![native build & test](https://github.com/p4lang/p4-constraints/workflows/native%20build%20&%20test/badge.svg)
-![docker build & test](https://github.com/p4lang/p4-constraints/workflows/docker%20build%20&%20test/badge.svg)
-# p4-constraints
 
-**Work in progress. Feedback and contributions are welcome.**
+# p4-constraints
 
 p4-constraints extends the [P4 language](https://p4.org/) with support for
 constraint