diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 02b2931..ba00d41 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -93,9 +93,24 @@ jobs:
cp -R build/reports/pitest "${RUN_DIR}/pitest"
cp -R build/reports/pitest "${LATEST_DIR}/pitest"
+ JMH_TXT_LINK=''
+ JMH_CSV_LINK=''
+ JMH_TXT_LATEST_LINK=''
+ JMH_CSV_LATEST_LINK=''
+
if [ -d "build/reports/jmh" ]; then
cp -R build/reports/jmh "${RUN_DIR}/jmh"
cp -R build/reports/jmh "${LATEST_DIR}/jmh"
+
+ if [ -f "${RUN_DIR}/jmh/jmh-results.txt" ]; then
+ JMH_TXT_LINK='
Benchmark Results (TXT)'
+ JMH_TXT_LATEST_LINK='Benchmark Results (TXT)'
+ fi
+ if [ -f "${RUN_DIR}/jmh/jmh-results.csv" ]; then
+ JMH_CSV_LINK='Benchmark Results (CSV)'
+ JMH_CSV_LATEST_LINK='Benchmark Results (CSV)'
+ fi
+
HAS_JMH="true"
else
HAS_JMH="false"
@@ -125,7 +140,10 @@ jobs:
PMD Report
Coverage Report
Mutation Testing Report
- $( [ "${HAS_JMH}" = "true" ] && echo 'Benchmark Report' || echo 'Benchmark Report: not available in this build' )
+ $(
+ [ "${HAS_JMH}" = "true" ] && { echo "${JMH_TXT_LINK:-Benchmark Results (TXT): not available}"; echo "${JMH_CSV_LINK:-Benchmark Results (CSV): not available}"; } \
+ || echo 'Benchmark results: not available in this build'
+ )
Open latest report set
Back to report home
@@ -168,14 +186,12 @@ jobs:
PMD Report
Coverage Report
Mutation Testing Report
+ $(
+ [ "${HAS_JMH}" = "true" ] && { echo "${JMH_TXT_LATEST_LINK:-Benchmark Results (TXT): not available}"; echo "${JMH_CSV_LATEST_LINK:-Benchmark Results (CSV): not available}"; } \
+ || echo 'Benchmark results: not currently available'
+ )
EOF
- if [ "${HAS_JMH}" = "true" ]; then
- echo ' Benchmark Report'
- else
- echo ' Benchmark Report: not currently available'
- fi
-
cat <