From 5cb77eb1a60a793a9948916d97147ee0a81949f8 Mon Sep 17 00:00:00 2001 From: tmeissner Date: Fri, 27 Mar 2020 14:01:42 +0100 Subject: [PATCH] Add badge for formal GHA tests --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 40b37fb..0cb97fb 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,5 @@ [![test](https://github.com/tmeissner/libvhdl/workflows/test/badge.svg?branch=master)](https://github.com/tmeissner/libvhdl/actions?query=workflow%3Atest) +[![formal](https://github.com/tmeissner/libvhdl/workflows/formal/badge.svg?branch=master)](https://github.com/tmeissner/libvhdl/actions?query=workflow%3Aformal) The original repository is now located on my own git-server at [https://git.goodcleanfun.de/tmeissner/libvhdl](https://git.goodcleanfun.de/tmeissner/libvhdl) It is mirrored to github with every push, so both should be in sync.