From e6ad7bff21c839b723714362db103fec3dc3d43d Mon Sep 17 00:00:00 2001 From: Siddharth Priya Date: Tue, 6 Feb 2024 15:40:59 -0500 Subject: [PATCH] fix: point to right ci --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 06637bc..e7b06e5 100644 --- a/README.md +++ b/README.md @@ -1,7 +1,7 @@ # c-rust ![os](https://img.shields.io/badge/os-linux-orange?logo=linux) -[![CI](https://github.com/thomashart17/c-rust/actions/workflows/main.yml/badge.svg)](https://github.com/thomashart17/c-rust/actions?query=workflow%3ACI) +[![CI](https://github.com/seahorn/verify-rust/actions/workflows/main.yml/badge.svg)](https://github.com/seahorn/verify-rust/actions?query=workflow%3ACI) Building this project will first require installations of Rust, cbindgen and LLVM 14