From 7c37ea0ff677b916acfefe7b3c4fd7531ddc4ae2 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Thu, 4 May 2023 10:23:59 +0200
Subject: [PATCH] fix rewrite

---
 certora/run.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/run.js b/certora/run.js
index 24a676d94..3fb2c6c56 100755
--- a/certora/run.js
+++ b/certora/run.js
@@ -139,8 +139,8 @@ function writeEntry(spec, contract, success, url) {
       spec,
       contract,
       success ? ':x:' : ':heavy_check_mark:',
+      url ? `[link](${url?.replace('/output/', '/jobStatus/')})` : 'error',
       url ? `[link](${url})` : 'error',
-      url ? `[link](${url?.replace('/jobStatus/', '/output/')})` : 'error',
     ),
   );
 }