R-permutations (R/R-permutations) Updated: 5 months, 3 weeks ago Add to my watchlist
The symmetric group: permutations of a finite setVersion: 1.1-5 License: GPL-2 GitHub
56 build(s) found
Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
---|---|---|---|---|---|
13.arm64 | 66771 | 2024-07-21 20:58:34 | 0:00:19 | 23518 | build successful |
11 | 158444 | 2024-06-03 14:37:05 | 0:00:56 | 47490 | build successful |
10.11 | 267385 | 2024-06-03 14:36:15 | 0:00:32 | 86981 | build successful |
10.15 | 187601 | 2024-06-03 14:33:54 | 0:00:43 | 57564 | build successful |
10.6 | 169546 | 2024-06-03 14:33:13 | 0:00:37 | 59472 | build successful |
12 | 110348 | 2024-06-03 14:32:21 | 0:00:42 | 36355 | build successful |
10.6.x86_64 | 205166 | 2024-06-03 14:32:11 | 0:00:34 | 59514 | build successful |
10.13 | 236484 | 2024-06-03 14:32:08 | 0:01:04 | 77825 | build successful |
10.7 | 194066 | 2024-06-03 14:32:03 | 0:01:05 | 59231 | build successful |
10.9 | 280196 | 2024-06-03 14:32:00 | 0:01:00 | 86492 | build successful |
10.8 | 180759 | 2024-06-03 14:31:58 | 0:00:59 | 57283 | build successful |
10.10 | 273049 | 2024-06-03 14:31:47 | 0:00:54 | 86819 | build successful |
10.11 | 263295 | 2024-05-02 20:02:31 | 0:01:17 | 85643 | build successful |
10.15 | 182694 | 2024-05-02 4:32:43 | 0:01:23 | 56161 | build successful |
13.arm64 | 59314 | 2024-05-02 2:21:16 | 0:00:22 | 20543 | build successful |
11 | 152781 | 2024-05-01 5:21:03 | 0:01:34 | 46026 | build successful |
10.12 | 271279 | 2024-04-30 16:49:32 | 0:01:11 | 84298 | build successful |
10.14 | 205067 | 2024-04-30 11:08:49 | 0:01:28 | 67074 | build successful |
10.7 | 188231 | 2024-04-30 4:08:00 | 0:00:56 | 57835 | build successful |
10.8 | 174743 | 2024-04-30 3:12:09 | 0:01:03 | 55862 | build successful |
10.10 | 267048 | 2024-04-29 21:44:22 | 0:00:54 | 85399 | build successful |
12.arm64 | 124668 | 2024-04-29 17:01:52 | 0:00:17 | 34772 | build successful |
10.9 | 273270 | 2024-04-29 6:37:26 | 0:01:03 | 85035 | build successful |
10.13 | 229341 | 2024-04-28 5:38:51 | 0:01:00 | 76258 | build successful |
14.arm64 | 26684 | 2024-04-27 21:38:48 | 0:00:20 | 8497 | build successful |
10.6 | 162294 | 2024-04-27 4:23:57 | 0:01:20 | 57913 | build successful |
14 | 25425 | 2024-01-10 0:27:31 | 0:00:57 | 4206 | build successful |
10.6 | 125130 | 2023-06-30 22:49:48 | 0:00:37 | 46294 | build successful |
10.6.x86_64 | 160289 | 2023-06-30 22:46:00 | 0:01:08 | 46331 | build successful |
10.7 | 149904 | 2023-06-30 22:25:23 | 0:00:59 | 46071 | build successful |
10.10 | 225047 | 2023-05-11 14:53:38 | 0:00:55 | 71722 | build successful |
10.14 | 165149 | 2023-05-01 14:08:59 | 0:01:03 | 53097 | build successful |
10.11 | 220371 | 2023-04-30 0:30:21 | 0:01:23 | 71383 | build successful |
10.9 | 229541 | 2023-04-29 12:45:35 | 0:00:58 | 70937 | build successful |
10.12 | 228957 | 2023-04-29 11:52:40 | 0:01:17 | 70164 | build successful |
11.arm64 | 90513 | 2023-04-28 14:28:04 | 0:00:20 | 31851 | build successful |
10.15 | 139026 | 2023-04-28 12:16:37 | 0:01:08 | 41952 | build successful |
10.13 | 189148 | 2023-04-27 10:01:43 | 0:00:55 | 62140 | build successful |
13.arm64 | 19599 | 2023-04-26 21:30:35 | 0:00:30 | 6161 | build successful |
10.8 | 130629 | 2023-04-26 4:02:56 | 0:01:17 | 41564 | build successful |
12.arm64 | 91741 | 2023-04-25 22:14:03 | 0:00:18 | 20538 | build successful |
11 | 107007 | 2023-03-20 15:40:40 | 0:01:16 | 30437 | build successful |
10.15 | 134144 | 2023-03-20 15:38:28 | 0:01:17 | 40521 | build successful |
10.6 | 112925 | 2023-03-20 15:36:21 | 0:00:38 | 42430 | build successful |
10.11 | 214934 | 2023-03-20 15:35:45 | 0:01:03 | 69886 | build successful |
10.12 | 223127 | 2023-03-20 15:34:05 | 0:01:08 | 68686 | build successful |
10.6.x86_64 | 148142 | 2023-03-20 15:32:50 | 0:01:15 | 42463 | build successful |
12 | 63126 | 2023-03-20 15:31:09 | 0:01:08 | 19220 | build successful |
10.14 | 159342 | 2023-03-20 15:31:09 | 0:01:04 | 51528 | build successful |
10.13 | 184625 | 2023-03-20 15:28:46 | 0:01:02 | 60765 | build successful |
10.8 | 126799 | 2023-03-20 15:28:29 | 0:00:59 | 40246 | build successful |
10.9 | 223939 | 2023-03-20 15:28:19 | 0:01:03 | 69462 | build successful |
10.10 | 218195 | 2023-03-20 15:26:20 | 0:00:56 | 69769 | build successful |
10.7 | 137854 | 2023-03-20 15:24:02 | 0:00:56 | 42205 | build successful |
13 | 25223 | 2023-03-20 15:20:28 | 0:00:31 | 4977 | build successful |
13.arm64 | 15478 | 2023-03-20 15:04:26 | 0:00:22 | 4811 | build successful |