From fcd1ac0eb55b2e0e255d0df239f5395e1de71601 Mon Sep 17 00:00:00 2001 From: David Widmann Date: Fri, 28 Mar 2025 15:25:13 +0100 Subject: [PATCH] [DO NOT MERGE] Trigger CI --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 36a105c0..eb739620 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,4 @@ + # ReverseDiff [![Stable](https://img.shields.io/badge/docs-stable-blue.svg)](https://juliadiff.org/ReverseDiff.jl/stable)