Try yet again (#6472)

IntersectMBO · Sep 12, 2024 · acdc85e · acdc85e · github-actions · Sep 12, 2024
1 parent a9b163e
commit acdc85e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs b/plutus-core/plutus-core/src/PlutusCore/Default/Builtins.hs
@@ -12,7 +12,6 @@
 {-# LANGUAGE TypeOperators         #-}
 {-# LANGUAGE UndecidableInstances  #-}
 
-
 module PlutusCore.Default.Builtins where
 
 import PlutusPrelude

diff --git a/scripts/ci-plutus-benchmark.sh b/scripts/ci-plutus-benchmark.sh
@@ -83,7 +83,7 @@ EOF
 ./plutus-benchmark/bench-compare-markdown bench-base.log bench-PR.log "${BASE_BRANCH_REF:0:7}" "${PR_BRANCH_REF:0:7}" |
     awk -v hdr1="${BASE_BRANCH_REF:0:7}" -v hdr2="${PR_BRANCH_REF:0:7}" '
      /^[| \t]*$/ {print "</details>"; next}
-     /TOTAL/ {printf ("\n| %s | %s | Change |\n| :------| :------: | :------: | :------: |\n", hdr1, hdr2)}
+     /TOTAL/ {printf ("\n| | %s | %s | Change |\n| :------| :------: | :------: | :------: |\n", hdr1, hdr2)}
      {print}' 
 # ^ This puts </details> after the individual results and puts the TOTAL line in a small table on its own.
 } > bench-compare-result.log
Benchmark suite	Current: `acdc85e`	Previous: `a9b163e`	Ratio
`validation-decode-crowdfunding-success-1`	`245.1` μs	`231.6` μs	`1.06`
`validation-decode-future-increase-margin-4`	`697` μs	`663.5` μs	`1.05`