add status for devel to readme

cfr42 · Nov 5, 2024 · 4e1e8fa · 4e1e8fa
1 parent 5e6911d
commit 4e1e8fa
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,7 +1,9 @@
-$Id: README.md 10541 2024-10-29 06:14:20Z cfrees $
+$Id: README.md 10578 2024-11-05 05:23:46Z cfrees $
 
 [![Automatic
 Checks](https://github.com/cfr42/prooftrees/actions/workflows/main.yml/badge.svg)](https://github.com/cfr42/prooftrees/actions/workflows/main.yml)
+[![Automatic
+Checks](https://github.com/cfr42/prooftrees/actions/workflows/main.yml/badge.svg?branch=devel)](https://github.com/cfr42/prooftrees/actions/workflows/main.yml)
 
 # prooftrees