Integrated: 7225: Add workflow badge to the readme

Tue Apr 6 20:13:10 UTC 2021

On Wed, 31 Mar 2021 09:49:15 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Trying a PR to see if it works.

This pull request has now been integrated.

Changeset: b46be35e
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.java.net/jmc/commit/b46be35e
Stats:     2 lines in 2 files changed: 1 ins; 0 del; 1 mod

7225: Add workflow badge to the readme

Reviewed-by: hdafgard

-------------

PR: https://git.openjdk.java.net/jmc/pull/233