From 72c9adf460f12bb285683fa125bb36d38a2619c6 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 18 Nov 2020 11:28:14 +0100
Subject: [PATCH] sync with frama-c master and add Gitlab pipeline badge

---
 README.md | 2 ++
 frama-c   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 85dfe6a19..25d4b4778 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 186247381..5d253f1da 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit 186247381f19703b1572dba997865645cd80d5e9
+Subproject commit 5d253f1da0a7970052d37a439dbfbcf991d2005b
-- 
GitLab