From 03360e3b18fd49904c19dccff6e04769dafc55d4 Mon Sep 17 00:00:00 2001 From: Matt Venn Date: Fri, 21 Apr 2023 14:28:14 +0200 Subject: [PATCH] add formal badge --- docs/README_init.md | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/README_init.md b/docs/README_init.md index f639493..f6426ca 100644 --- a/docs/README_init.md +++ b/docs/README_init.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