This port has been deleted. This page will exist till another port with the name "py27-benchexec" comes
into existence.
py27-benchexec (python/py-benchexec) Add to my watchlist
A Framework for Reliable Benchmarking and Resource MeasurementVersion: 2.5.1 License: Apache-2
15 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
12 | 12944 | 2022-01-12 11:12:57 | 0:01:28 | 3333 | build successful |
12.arm64 | 28380 | 2021-11-25 6:14:14 | 0:00:42 | 1574 | build successful |
11 | 13435 | 2021-01-10 10:02:14 | 0:03:21 | 1785 | build successful |
11.arm64 | 8351 | 2021-01-09 18:38:40 | 0:01:34 | 1879 | build successful |
10.8 | 19648 | 2020-06-28 14:24:41 | 0:03:28 | 5531 | build successful |
10.11 | 112401 | 2020-04-20 20:36:13 | 0:04:13 | 33432 | build successful |
10.6.x86_64 | 24739 | 2020-04-20 20:22:21 | 0:05:14 | 5873 | build successful |
10.6 | 12049 | 2020-04-20 20:20:12 | 0:11:57 | 5872 | build successful |
10.15 | 28693 | 2020-04-20 20:13:42 | 0:03:36 | 4660 | build successful |
10.14 | 58121 | 2020-04-20 20:08:46 | 0:02:48 | 15115 | build successful |
10.13 | 82274 | 2020-04-20 20:07:14 | 0:05:17 | 24388 | build successful |
10.12 | 118745 | 2020-04-20 20:06:55 | 0:02:34 | 32430 | build successful |
10.10 | 114716 | 2020-04-20 20:05:47 | 0:02:07 | 33496 | build successful |
10.7 | 21924 | 2020-04-20 20:05:47 | 0:02:17 | 5872 | build successful |
10.9 | 117397 | 2020-04-20 20:04:42 | 0:02:01 | 33442 | build successful |