From ba25e9329acd791832ba2c62d90da0b16d9bd3f3 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Fri, 25 Oct 2024 12:48:49 +0200 Subject: [PATCH] Add checks badge --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 420f172..0f9f088 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,7 @@ # Ada SPARK Workflow A demo of best practices for open-source Ada/SPARK development. +[![checks](https://github.com/alire-project/ada_spark_workflow/workflows/main/badge.svg)](https://github.com/alire-project/ada_spark_workflow/actions) [![codecov](https://codecov.io/gh/alire-project/ada_spark_workflow/branch/main/graph/badge.svg?token=9PZQ67LBPF)](https://codecov.io/gh/alire-project/ada_spark_workflow) The goal of this repository is to show the best practices for Ada/SPARK open-source development. We will do our best to keep it updated with the latest technologies and services from Alire and GitHub. Don’t hesitate to suggest enhancements in case we missed something interesting. @@ -293,7 +294,7 @@ The procedure is: contribute it to the Alire index. - Update the version number in `alire.toml` on the development branch -Push bug fixes to the MINOR release branch and only update the PATCH number +Push bug fixes to the MINOR release branch and only update the PATCH number ### `PATCH` Releases