#
# ChangeLog for benchmark/jenkins.sh
#
# Generated by Trac 1.6
# May 4, 2026, 8:36:09 PM

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