fix: point to right ci

seahorn · Feb 6, 2024 · e6ad7bf · e6ad7bf
1 parent 636eeb4
commit e6ad7bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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