README: fix CI status badge

The status badge was previously linking to the svg file, not to the actual test status. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jan 3, 2024 · 5bcbca5 · 5bcbca5
1 parent 12bb970
commit 5bcbca5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -3,7 +3,7 @@
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->
 
-![CI](https://github.com/seL4/ci-actions/workflows/CI/badge.svg)
+[![CI](https://github.com/seL4/ci-actions/actions/workflows/push.yml/badge.svg)](https://github.com/seL4/ci-actions/actions/workflows/push.yml)
 
 # CI actions for seL4 repositories