add badge

TinyTapeout · Apr 20, 2023 · 8218a41 · 8218a41
1 parent 1147809
commit 8218a41
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
@@ -1,4 +1,4 @@
-name: verification
+name: formal
 # either manually started, or on a schedule
 on: [ push, workflow_dispatch, pull_request ]
 jobs:

diff --git a/README.md b/README.md
@@ -2,6 +2,7 @@
 [![verification](https://github.com/tinytapeout/tinytapeout-03/actions/workflows/verification.yaml/badge.svg)](https://github.com/tinytapeout/tinytapeout-03/actions/workflows/verification.yaml)
 [![tt_datasheet](https://github.com/tinytapeout/tinytapeout-03/actions/workflows/tt_datasheet.yaml/badge.svg)](https://github.com/tinytapeout/tinytapeout-03/actions/workflows/tt_datasheet.yaml)
 [![gl_verification](https://github.com/TinyTapeout/tinytapeout-03/actions/workflows/gl_verification.yaml/badge.svg)](https://github.com/TinyTapeout/tinytapeout-03/actions/workflows/gl_verification.yaml)
+[![formal](https://github.com/TinyTapeout/tinytapeout-03/actions/workflows/formal.yaml/badge.svg)](https://github.com/TinyTapeout/tinytapeout-03/actions/workflows/formal.yaml)
 
 # TinyTapeout 03