From c559425a10c92f8d689f21b149c8b8e0a55c4c13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ondrej=20Kur=C3=A1k?= <ondrej@certora.com>
Date: Wed, 11 Dec 2024 14:04:17 +0100
Subject: [PATCH] Test action

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index c00da86..b2e9c43 100644
--- a/README.md
+++ b/README.md
@@ -3,6 +3,8 @@
 This repostory contains a reusable GitHub Action workflow for running Certora Prover
 in your GitHub Actions workflows.
 
+Test.
+
 ## Usage
 
 To use this action, add the following to your GitHub Actions workflow: