add check status thingy from github (have to see if I can do this on …

…codeberg ...
cfr42 · Oct 29, 2024 · 895270a · 895270a
1 parent dd0578d
commit 895270a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,7 @@
-$Id: README.md 10529 2024-10-25 21:19:36Z cfrees $
+$Id: README.md 10541 2024-10-29 06:14:20Z cfrees $
+
+[![Automatic
+Checks](https://github.com/cfr42/prooftrees/actions/workflows/main.yml/badge.svg)](https://github.com/cfr42/prooftrees/actions/workflows/main.yml)
 
 # prooftrees