From bfaabe9d11358e2493d1e2f9ec076d18c9b25753 Mon Sep 17 00:00:00 2001 From: jao Date: Mon, 18 Jul 2022 00:41:44 +0100 Subject: ci badge --- readme.org | 3 +++ 1 file changed, 3 insertions(+) diff --git a/readme.org b/readme.org index ec5c2ea..25a11eb 100644 --- a/readme.org +++ b/readme.org @@ -5,6 +5,9 @@ hackage + + ci +

#+end_export -- cgit v1.2.3