#
# ChangeLog for benchmark/jenkins.sh
#
# Generated by Trac 1.2.1
# Apr 19, 2024, 6:56:21 AM

Mon, 28 Jan 2019 19:50:45 GMT Thierry Delisle <tdelisle@…> [8f99233]
	* Jenkinsfile (modified)
	* benchmark/jenkins.sh (added)

	Second attempt at pipefail using an external script. closes #110