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', ), ); }