Started 2 mo 21 days ago
Took 1 min 40 sec on default-agent-r3wqj

Success Build #25 (Dec 6, 2019 3:45:44 PM)

PR #129: Wrap the JMH code around 12...
No changes.

GitHub pull request #129 of commit 1a8fcfb6391ac4019715a13385d03104f4e1953f, no merge conflicts.

Revision: 7b52c1cb10609b945a9115910bc6bd0d9620097c
  • refs/remotes/origin/pr/129/merge