From 5bcbca54ccbf3c344992e2cb34a6075bd91f78cc Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 7 Dec 2023 14:52:18 +0100 Subject: [PATCH] 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 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 230dcab1..fc638361 100644 --- 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