From 916f05a73ea2fc24c1120c396098cd636d460527 Mon Sep 17 00:00:00 2001
From: Duncan Eddy <6956476+duncaneddy@users.noreply.github.com>
Date: Wed, 12 Jun 2024 21:59:48 -0700
Subject: [PATCH] Fix CI badge definition

Update README reference to properly refer to CI workflow for build status.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 7e36339..6da742f 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # OVERTVerify
 
-[![Build Status](https://github.com/sisl/OVERTVerify.jl/workflows/CI/badge.svg)](https://github.com/sisl/OVERTVerify.jl/actions)
+[![CI](https://github.com/sisl/OVERTVerify.jl/actions/workflows/CI.yml/badge.svg)](https://github.com/sisl/OVERTVerify.jl/actions/workflows/CI.yml)
 [![codecov](https://codecov.io/gh/sisl/OVERTVerify.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/sisl/OVERTVerify.jl)
 
 This repo integrates OVERT with reachability functionality for the purpose of verifying closed-loop systems with neural network control policies.