From 8fc33bd29b878c8975e958da594e67ba02bb42f4 Mon Sep 17 00:00:00 2001
From: caballa <navasjorgea@gmail.com>
Date: Sat, 16 Sep 2023 10:23:24 -0600
Subject: [PATCH] doc: updated badge in README

---
 README.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/README.md b/README.md
index b4f9097..6312390 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,6 @@
 # SeaDsa: A Points-to Analysis for Verification of Low-level C/C++ #
 
-<a href="https://travis-ci.org/seahorn/sea-dsa">
-    <img src="https://travis-ci.org/seahorn/sea-dsa.svg?branch=dev14" title="Ubuntu 22.04 LTS 64bit, clang-14"/>
-</a>
+<a href="https://github.com/seahorn/sea-dsa/actions"><img src="https://github.com/seahorn/sea-dsa/workflows/CI/badge.svg" title="Ubuntu 22.04 LTS 64bit, clang++-14"/></a>
 
 
 `SeaDsa` is a context-, field-, and array-sensitive unification-based