From 86a7afd6d255a6c08daf71134ca4fb1076f4df04 Mon Sep 17 00:00:00 2001
From: Christian Kissig <dev@kissig.fastmail.fm>
Date: Wed, 3 Jun 2026 09:09:02 +0100
Subject: [PATCH] Add status badges to the README

Add CI/CD build status (GitHub Actions), Python-version, and license
badges below the title.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 README.rst | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/README.rst b/README.rst
index 99a2387..ff728cd 100644
--- a/README.rst
+++ b/README.rst
@@ -2,6 +2,18 @@
 isabelle_parser
 ================
 
+.. image:: https://github.com/christiankissig/python-isabelle-parser/actions/workflows/ci.yml/badge.svg?branch=master
+   :target: https://github.com/christiankissig/python-isabelle-parser/actions/workflows/ci.yml
+   :alt: CI/CD status
+
+.. image:: https://img.shields.io/badge/python-3.10%2B-blue.svg
+   :target: https://www.python.org/downloads/
+   :alt: Python 3.10+
+
+.. image:: https://img.shields.io/badge/license-MIT-green.svg
+   :target: https://github.com/christiankissig/python-isabelle-parser/blob/master/LICENSE
+   :alt: License: MIT
+
 A parser for `Isabelle/Isar <https://isabelle.in.tum.de/>`_ theory (``.thy``)
 artifacts, implemented in pure Python on top of `Lark <https://lark-parser.org/>`_
 using an Earley grammar.