From 07e6ba8e5459eb99610ad1ceae5d19797808edd7 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 26 Jul 2024 10:03:09 +1000 Subject: [PATCH] README: adjust CI proof badges - change MCS proof badge to the new deployment workflow - adjust badges to only point to the branch they refer to Signed-off-by: Gerwin Klein --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 8fa990f058..03421c4b7d 100644 --- a/README.md +++ b/README.md @@ -6,13 +6,13 @@ [![DOI][0]](http://dx.doi.org/10.5281/zenodo.591732) [![CI](https://github.com/seL4/l4v/actions/workflows/push.yml/badge.svg)](https://github.com/seL4/l4v/actions/workflows/push.yml) -[![Proofs](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml/badge.svg)](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml) +[![Proofs](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml/badge.svg?branch=master)](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Amaster) [![Weekly Clean](https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml/badge.svg)](https://github.com/seL4/l4v/actions/workflows/weekly-clean.yml) [![External](https://github.com/seL4/l4v/actions/workflows/external.yml/badge.svg)](https://github.com/seL4/l4v/actions/workflows/external.yml) MCS:\ [![CI](https://github.com/seL4/l4v/actions/workflows/push.yml/badge.svg?branch=rt)](https://github.com/seL4/l4v/actions/workflows/push.yml) -[![RT Proofs](https://github.com/seL4/l4v/actions/workflows/proof.yml/badge.svg?branch=rt)](https://github.com/seL4/l4v/actions/workflows/proof.yml) +[![MCS Proofs](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml/badge.svg?branch=rt)](https://github.com/seL4/l4v/actions/workflows/proof-deploy.yml?query=branch%3Art) [0]: https://zenodo.org/badge/doi/10.5281/zenodo.591732.svg