This port has been deleted. This page will exist till another port with the name "py36-benchexec" comes
into existence.
py36-benchexec (python/py-benchexec) Add to my watchlist
A Framework for Reliable Benchmarking and Resource MeasurementVersion: 2.5.1 License: Apache-2
13 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 12 | 12950 | 2022-01-12 11:20:43 | 0:00:44 | 3333 | build successful |
| 11 | 13464 | 2021-01-10 11:31:19 | 0:03:10 | 1785 | build successful |
| 10.8 | 19840 | 2020-06-29 0:29:39 | 0:03:20 | 5531 | build successful |
| 10.11 | 112402 | 2020-04-20 20:40:30 | 0:05:40 | 33432 | build successful |
| 10.6 | 12050 | 2020-04-20 20:32:13 | 0:12:56 | 5872 | build successful |
| 10.6.x86_64 | 24740 | 2020-04-20 20:27:41 | 0:05:37 | 5873 | build successful |
| 10.15 | 28694 | 2020-04-20 20:17:25 | 0:03:28 | 4660 | build successful |
| 10.13 | 82275 | 2020-04-20 20:12:36 | 0:05:23 | 24388 | build successful |
| 10.14 | 58122 | 2020-04-20 20:11:41 | 0:02:35 | 15115 | build successful |
| 10.12 | 118746 | 2020-04-20 20:09:31 | 0:02:28 | 32430 | build successful |
| 10.7 | 21925 | 2020-04-20 20:08:06 | 0:02:11 | 5872 | build successful |
| 10.10 | 114717 | 2020-04-20 20:07:56 | 0:02:05 | 33496 | build successful |
| 10.9 | 117398 | 2020-04-20 20:06:45 | 0:01:58 | 33442 | build successful |