Update README.md - fix link locations for badge images in markdown (r…

…ust-lang#2537)
celinval · Jun 16, 2023 · 94a7955 · 94a7955
1 parent c5c9ad2
commit 94a7955
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 ![](./kani-logo.png)
-![Kani regression](https://github.com/model-checking/kani/actions/workflows/kani.yml/badge.svg)
-![Nightly: CBMC Latest](https://github.com/model-checking/kani/actions/workflows/cbmc-latest.yml/badge.svg)
+[![Kani regression](https://github.com/model-checking/kani/actions/workflows/kani.yml/badge.svg)](https://github.com/model-checking/kani/actions/workflows/kani.yml)
+[![Nightly: CBMC Latest](https://github.com/model-checking/kani/actions/workflows/cbmc-latest.yml/badge.svg)](https://github.com/model-checking/kani/actions/workflows/cbmc-latest.yml)
 
 The Kani Rust Verifier is a bit-precise model checker for Rust.