This is an automated email from the git hooks/post-receive script.

"Diana Picus pushed a change to branch diana/docker-bmk%wip in repository toolchain/jenkins-scripts.

was 4e80d288 Use label fixup

This change permanently discards the following revisions:

discards 4e80d288 Use label fixup discards 67e5d666 Temporarily use master image for testing discards a7ed408b Run benchmarks inside containers