Skip to content

Commit

Permalink
Fix CI badge definition
Browse files Browse the repository at this point in the history 
Update README reference to properly refer to CI workflow for build status.
  • Loading branch information
@duncaneddy
duncaneddy authored Jun 13, 2024
1 parent aa36798 commit 916f05a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
@@ -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.
Expand Down

0 comments on commit 916f05a

Please sign in to comment.