diff --git a/README.md b/README.md
index 85dfe6a19dfab837f3b946e98774a4b92ccc0389..25d4b47786a6beb42b9f012bdccd94754313f420 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+![Pipeline status badge](https://git.frama-c.com/pub/open-source-case-studies/badges/master/pipeline.svg)
+
 Open source case studies for Frama-C
 ====================================
 
diff --git a/frama-c b/frama-c
index 186247381f19703b1572dba997865645cd80d5e9..5d253f1da0a7970052d37a439dbfbcf991d2005b 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit 186247381f19703b1572dba997865645cd80d5e9
+Subproject commit 5d253f1da0a7970052d37a439dbfbcf991d2005b