From 413737fdf18165c0fcc6c84326fbe1e32252bf7e Mon Sep 17 00:00:00 2001 From: tmeissner Date: Fri, 29 May 2020 11:52:26 +0200 Subject: [PATCH] Update badges for GHA workflows --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 34f67dd..a37d213 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -[![tests](https://github.com/tmeissner/psl_with_ghdl/workflows/tests/badge.svg?branch=master)](https://github.com/tmeissner/psl_with_ghdl/actions?query=workflow%3Atests) +[![simulation](https://github.com/tmeissner/psl_with_ghdl/workflows/simulation/badge.svg)](https://github.com/tmeissner/psl_with_ghdl/actions?query=workflow%3Asimulation) [![formal](https://github.com/tmeissner/psl_with_ghdl/workflows/formal/badge.svg)](https://github.com/tmeissner/psl_with_ghdl/actions?query=workflow%3Aformal) # psl_with_ghdl @@ -41,7 +41,7 @@ The next lists will grow during further development * until operator * until_ operator * before operator (GHDL crash with a specific property, see psl_before.vhd) -* eventually! operator (simulation, synthesis produces a GHDL crash, see psl_eventually.vhd) +* eventually! operator (simulation, synthesis produces a GHDL crash, see [GHDL issue 1345](https://github.com/ghdl/ghdl/issues/1345)) ### Sequential Extended Regular Expressions (SERE style)