# # ChangeLog for benchmark/jenkins.sh # # Generated by Trac 1.2.1 # Nov 12, 2024, 4:29:38 PM 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