diff --git a/certora/run.js b/certora/run.js index a5ad9eece..91f4a6aec 100755 --- a/certora/run.js +++ b/certora/run.js @@ -160,7 +160,7 @@ function writeEntry(spec, contract, success, url) { formatRow( spec, contract, - success ? ':x:' : ':heavy_check_mark:', + success ? ':heavy_check_mark:' : ':x:', url ? `[link](${url?.replace('/output/', '/jobStatus/')})` : 'error', url ? `[link](${url})` : 'error', ),