From 4da101ae24feb2f04b7da9d75be4b54dce807a09 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Thu, 1 Jul 2021 09:01:42 +1000 Subject: [PATCH] add CI status badges Currently only for GitHub actions (but these will be replacing Bamboo tests in the coming weeks). Signed-off-by: Gerwin Klein --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 67a44a1f3..3f51b72b9 100644 --- a/README.md +++ b/README.md @@ -8,6 +8,11 @@ The seL4 microkernel ==================== [![CII Best Practices](https://bestpractices.coreinfrastructure.org/projects/5003/badge)](https://bestpractices.coreinfrastructure.org/projects/5003) +[![CI](https://github.com/seL4/seL4/actions/workflows/push.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/push.yml) +[![C Parser](https://github.com/seL4/seL4/actions/workflows/cparser.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/cparser.yml) +[![Kernel](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml) +[![RefMan](https://github.com/seL4/seL4/actions/workflows/manual.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/manual.yml) +[![XML](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml) This project contains the source code of seL4 microkernel.