From b13f9ca505ffb9c1df342099c34e0d10a3399ce7 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Fri, 2 Feb 2024 16:12:06 +0100
Subject: [PATCH] fix: name of job universal rewards distributor

---
 .github/workflows/certora.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index d7482f8..3843f82 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -17,7 +17,7 @@ jobs:
       matrix:
         conf:
           - MerkleTrees
-          - RewardsDistributor
+          - UniversalRewardsDistributor
 
     steps:
       - uses: actions/checkout@v3