Skip to content

Commit

Permalink
Fixing readme to correctly link to badge
Browse files Browse the repository at this point in the history
  • Loading branch information
thijssnelleman committed Sep 25, 2024
1 parent a5ccc83 commit 9c2d918
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# _Sparkle_

![tests](https://github.com/ada-research/sparkle/actions/workflows/unittest.yml/badge.svg?event=push)
[![Coverage Status](./reports/coverage/coverage-badge.svg?dummy=8484744)]
[![Coverage Status](./reports/coverage/coverage-badge.svg)]
![linter](https://github.com/ada-research/sparkle/actions/workflows/linter.yml/badge.svg?event=push)

> A Programming by Optimisation (PbO)-based problem-solving platform designed to enable the widespread and effective use of PbO techniques for improving the state-of-the-art in solving a broad range of prominent AI problems, including SAT and AI Planning.
Expand Down

0 comments on commit 9c2d918

Please sign in to comment.