tmeissner
/
formal_hw_verification
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 6 Wiki Activity
Browse Source

Fix GHA shield badge

master
T. Meissner 1 year ago
parent
3d29afb13d
commit
2f06350a33
1 changed files with 2 additions and 1 deletions
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. +2
    -1
      README.md

+ 2
- 1
README.md View File

@ -1,4 +1,5 @@
[![](https://img.shields.io/github/workflow/status/tmeissner/formal_hw_verification/Test/master?longCache=true&style=flat-square&label=Test&logo=GitHub%20Actions&logoColor=fff)](https://github.com/tmeissner/formal_hw_verification/actions?query=workflow%3ATest)
![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/tmeissner/formal_hw_verification/Test.yml?style=flat-square&logo=Github%20Actions&logoColor=fff&label=Test)
The original repository is located on my own git-server at [https://git.goodcleanfun.de/tmeissner/formal_hw_verification](https://git.goodcleanfun.de/tmeissner/formal_hw_verification)


Write Preview
Loading…
Cancel
Save