# # ChangeLog for benchmark/jenkins.sh # # Generated by Trac 1.2.1 # Nov 10, 2024, 2:50:17 AM Mon, 28 Jan 2019 19:50:45 GMT Thierry Delisle [8f99233] * Jenkinsfile (modified) * benchmark/jenkins.sh (added) Second attempt at pipefail using an external script. closes #110