~remexre/#1497733

success

1e657ed — Nathan Ringo

bs: Fixes assertion failure with GADTs with multiple tyargs.

Owner
~remexre
Created
a month ago
Updated
a month ago
Build manifest
view manifest »

Tasks

view log »
build view log »
go to bottom »
go to top »
setup 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
 
[#1497733] 2025/05/27 23:13:26 Running build on fra01.builds.sr.ht
[#1497733] 2025/05/27 23:13:26 Booting image fedora/latest (x86_64) on port 22479
[#1497733] 2025/05/27 23:13:27 Waiting for guest to settle
[#1497733] 2025/05/27 23:13:45 Sending tasks
[#1497733] 2025/05/27 23:13:46 Sending build environment
[#1497733] 2025/05/27 23:13:46 Installing packages
Warning: Permanently added '[localhost]:22479' (ED25519) to the list of known hosts.
Updating and loading repositories:
 Fedora 42 openh264 (From Cisco) - x86_ 100% |   7.8 KiB/s |   6.0 KiB |  00m01s
 Fedora 42 - x86_64 - Updates           100% |   5.9 MiB/s |   5.8 MiB |  00m01s
 Fedora 42 - x86_64                     100% |  28.2 MiB/s |  35.4 MiB |  00m01s
Repositories loaded.
Package "bash-5.2.37-1.fc42.x86_64" is already installed.

Package                               Arch   Version          Repository      Size
Downgrading:
 cpp                                  x86_64 15.0.1-0.11.fc42 fedora      37.8 MiB
   replacing cpp                      x86_64 15.1.1-1.fc42    updates     37.8 MiB
 gcc                                  x86_64 15.0.1-0.11.fc42 fedora     110.9 MiB
   replacing gcc                      x86_64 15.1.1-1.fc42    updates    111.0 MiB
 libgomp                              x86_64 15.0.1-0.11.fc42 fedora     537.6 KiB
   replacing libgomp                  x86_64 15.1.1-1.fc42    updates    538.5 KiB
Installing:
 ocaml                                x86_64 5.3.0-2.fc42     fedora     139.8 MiB
 ocaml-compiler-libs                  x86_64 5.3.0-2.fc42     fedora     102.8 MiB
 ocaml-dune                           x86_64 3.17.2-1.fc42    fedora      22.6 MiB
 ocaml-dune-build-info-devel          x86_64 3.17.2-1.fc42    fedora      31.0 KiB
 ocaml-menhir                         x86_64 20240715-3.fc42  fedora       7.4 MiB
 ocaml-menhirlib-devel                x86_64 20240715-3.fc42  fedora       1.0 MiB
 ocaml-ppx-deriving-devel             x86_64 6.0.3-3.fc42     fedora       3.0 MiB
 ocaml-ppx-expect-devel               x86_64 0.17.2-4.fc42    fedora       1.2 MiB
 ocaml-sedlex-devel                   x86_64 3.3-3.fc42       fedora       4.7 MiB
 ocaml-uucp-devel                     x86_64 16.0.0-3.fc42    fedora      13.4 MiB
 ocaml-yojson-devel                   x86_64 2.2.2-3.fc42     fedora       3.9 MiB
 ocaml-zarith-devel                   x86_64 1.14-6.fc42      fedora     886.2 KiB
 opam                                 x86_64 2.3.0-5.fc42     fedora      14.3 MiB
Installing dependencies:
 add-determinism                      x86_64 0.6.0-1.fc42     fedora       2.5 MiB
 annobin-docs                         noarch 12.94-1.fc42     updates     98.9 KiB
 annobin-plugin-gcc                   x86_64 12.94-1.fc42     updates    993.5 KiB
 ansible-srpm-macros                  noarch 1-17.1.fc42      fedora      35.7 KiB
 bubblewrap                           x86_64 0.10.0-1.fc42    fedora     134.1 KiB
 build-reproducibility-srpm-macros    noarch 0.6.0-1.fc42     fedora     735.0   B
 bzip2                                x86_64 1.0.8-20.fc42    fedora      99.3 KiB
 diffutils                            x86_64 3.12-1.fc42      updates      1.6 MiB
 dwz                                  x86_64 0.15-9.fc42      fedora     291.0 KiB
 efi-srpm-macros                      noarch 6-3.fc42         updates     40.1 KiB
 filesystem-srpm-macros               noarch 3.18-42.fc42     updates     38.2 KiB
 flexiblas                            x86_64 3.4.5-1.fc42     fedora      50.4 KiB
 flexiblas-netlib                     x86_64 3.4.5-1.fc42     fedora      10.9 MiB
 flexiblas-openblas-openmp            x86_64 3.4.5-1.fc42     fedora      39.2 KiB
 fonts-srpm-macros                    noarch 1:2.0.5-21.fc42  fedora      55.8 KiB
 forge-srpm-macros                    noarch 0.4.0-2.fc42     fedora      38.9 KiB
 fpc-srpm-macros                      noarch 1.3-14.fc42      fedora     144.0   B
 gcc-plugin-annobin                   x86_64 15.0.1-0.11.fc42 fedora      57.2 KiB
 ghc-srpm-macros                      noarch 1.9.2-2.fc42     fedora     779.0   B
 glibc-gconv-extra                    x86_64 2.41-5.fc42      updates      7.2 MiB
 glpk                                 x86_64 5.0-13.fc42      fedora     914.6 KiB
 gmp-c++                              x86_64 1:6.3.0-4.fc42   fedora      27.6 KiB
 gmp-devel                            x86_64 1:6.3.0-4.fc42   fedora     352.3 KiB
 gnat-srpm-macros                     noarch 6-7.fc42         fedora       1.0 KiB
 go-srpm-macros                       noarch 3.6.0-6.fc42     fedora      60.8 KiB
 js-doxygen                           noarch 2:1.13.2-4.fc42  fedora     362.7 KiB
 kernel-srpm-macros                   noarch 1.0-25.fc42      fedora       1.9 KiB
 libgfortran                          x86_64 15.1.1-2.fc42    updates      3.3 MiB
 libquadmath                          x86_64 15.1.1-2.fc42    updates    317.9 KiB
 lua-srpm-macros                      noarch 1-15.fc42        fedora       1.3 KiB
 ocaml-base                           x86_64 0.17.1-4.fc42    fedora       8.4 MiB
 ocaml-base-devel                     x86_64 0.17.1-4.fc42    fedora      19.9 MiB
 ocaml-compiler-libs-janestreet       x86_64 0.17.0-6.fc42    fedora     135.8 KiB
 ocaml-compiler-libs-janestreet-devel x86_64 0.17.0-6.fc42    fedora     199.3 KiB
 ocaml-dune-build-info                x86_64 3.17.2-1.fc42    fedora      22.4 KiB
 ocaml-gen                            x86_64 1.1-14.fc42      fedora     554.1 KiB
 ocaml-gen-devel                      x86_64 1.1-14.fc42      fedora       1.3 MiB
 ocaml-intrinsics-kernel              x86_64 0.17.1-3.fc42    fedora     118.9 KiB
 ocaml-intrinsics-kernel-devel        x86_64 0.17.1-3.fc42    fedora     186.7 KiB
 ocaml-jane-street-headers-devel      x86_64 0.17.0-5.fc42    fedora      10.8 KiB
 ocaml-menhirlib                      x86_64 20240715-3.fc42  fedora     345.4 KiB
 ocaml-ppx-compare                    x86_64 0.17.0-6.fc42    fedora     366.2 KiB
 ocaml-ppx-compare-devel              x86_64 0.17.0-6.fc42    fedora     622.4 KiB
 ocaml-ppx-derivers                   x86_64 1.2.1-40.fc42    fedora      22.0 KiB
 ocaml-ppx-derivers-devel             x86_64 1.2.1-40.fc42    fedora      24.1 KiB
 ocaml-ppx-deriving                   x86_64 6.0.3-3.fc42     fedora      19.3 MiB
 ocaml-ppx-enumerate                  x86_64 0.17.0-6.fc42    fedora     179.7 KiB
 ocaml-ppx-enumerate-devel            x86_64 0.17.0-6.fc42    fedora     235.2 KiB
 ocaml-ppx-expect                     x86_64 0.17.2-4.fc42    fedora      19.7 MiB
 ocaml-ppx-hash                       x86_64 0.17.0-6.fc42    fedora     272.6 KiB
 ocaml-ppx-hash-devel                 x86_64 0.17.0-6.fc42    fedora     485.5 KiB
 ocaml-ppx-here                       x86_64 0.17.0-6.fc42    fedora      18.3 MiB
 ocaml-ppx-here-devel                 x86_64 0.17.0-6.fc42    fedora      91.7 KiB
 ocaml-ppx-inline-test                x86_64 0.17.0-6.fc42    fedora      38.3 MiB
 ocaml-ppx-inline-test-devel          x86_64 0.17.0-6.fc42    fedora     682.0 KiB
 ocaml-ppx-sexp-conv                  x86_64 0.17.0-6.fc42    fedora       1.5 MiB
 ocaml-ppx-sexp-conv-devel            x86_64 0.17.0-6.fc42    fedora       3.2 MiB
 ocaml-ppxlib                         x86_64 1:0.35.0-1.fc42  fedora      30.4 MiB
 ocaml-ppxlib-devel                   x86_64 1:0.35.0-1.fc42  fedora      31.1 MiB
 ocaml-ppxlib-jane                    x86_64 0.17.2-3.fc42    fedora     725.1 KiB
 ocaml-ppxlib-jane-devel              x86_64 0.17.2-3.fc42    fedora       1.5 MiB
 ocaml-ppxlib-tools                   x86_64 1:0.35.0-1.fc42  fedora      17.5 MiB
 ocaml-rpm-macros                     noarch 5.3.0-2.fc42     fedora      19.8 KiB
 ocaml-runtime                        x86_64 5.3.0-2.fc42     fedora       4.4 MiB
 ocaml-sedlex                         x86_64 3.3-3.fc42       fedora      20.9 MiB
 ocaml-sexplib0                       x86_64 0.17.0-4.fc42    fedora     360.2 KiB
 ocaml-sexplib0-devel                 x86_64 0.17.0-4.fc42    fedora     851.5 KiB
 ocaml-srpm-macros                    noarch 10-4.fc42        fedora       1.9 KiB
 ocaml-stdio                          x86_64 0.17.0-5.fc42    fedora     118.6 KiB
 ocaml-stdio-devel                    x86_64 0.17.0-5.fc42    fedora     232.2 KiB
 ocaml-time-now                       x86_64 0.17.0-5.fc42    fedora      40.5 KiB
 ocaml-time-now-devel                 x86_64 0.17.0-5.fc42    fedora      37.8 KiB
 ocaml-uucp                           x86_64 16.0.0-3.fc42    fedora      22.3 MiB
 ocaml-yojson                         x86_64 2.2.2-3.fc42     fedora       3.1 MiB
 ocaml-zarith                         x86_64 1.14-6.fc42      fedora     375.9 KiB
 opam-installer                       x86_64 2.3.0-5.fc42     fedora       7.0 MiB
 openblas                             x86_64 0.3.29-1.fc42    fedora     111.7 KiB
 openblas-openmp                      x86_64 0.3.29-1.fc42    fedora      43.7 MiB
 openblas-srpm-macros                 noarch 2-19.fc42        fedora     112.0   B
 package-notes-srpm-macros            noarch 0.5-13.fc42      fedora       1.6 KiB
 perl-srpm-macros                     noarch 1-57.fc42        fedora     861.0   B
 pyproject-srpm-macros                noarch 1.18.1-1.fc42    fedora       1.9 KiB
 python-srpm-macros                   noarch 3.13-4.fc42      fedora      51.0 KiB
 qt5-srpm-macros                      noarch 5.15.15-1.fc42   fedora     500.0   B
 qt6-srpm-macros                      noarch 6.9.0-2.fc42     updates    464.0   B
 redhat-rpm-config                    noarch 342-4.fc42       updates    185.5 KiB
 rust-srpm-macros                     noarch 26.3-4.fc42      fedora       4.8 KiB
 suitesparse                          x86_64 7.8.3-1.fc42     fedora     114.7 MiB
 tar                                  x86_64 2:1.35-5.fc42    fedora       3.0 MiB
 tree-sitter-srpm-macros              noarch 0.1.0-8.fc42     fedora       6.5 KiB
 web-assets-filesystem                noarch 5-23.fc42        fedora      34.0   B
 zig-srpm-macros                      noarch 1-4.fc42         fedora       1.1 KiB
 zlib-ng                              x86_64 2.2.4-3.fc42     fedora     157.0 KiB

Transaction Summary:
 Installing:       106 packages
 Replacing:          3 packages
 Downgrading:        3 packages

Total size of inbound packages is 284 MiB. Need to download 284 MiB.
After this operation, 781 MiB extra will be used (install 931 MiB, remove 149 MiB).
[  1/109] ocaml-dune-0:3.17.2-1.fc42.x8 100% |  16.1 MiB/s |   6.0 MiB |  00m00s
[  2/109] ocaml-dune-build-info-devel-0 100% |   1.3 MiB/s |  31.9 KiB |  00m00s
[  3/109] ocaml-menhir-0:20240715-3.fc4 100% |  25.9 MiB/s |   2.6 MiB |  00m00s
[  4/109] ocaml-menhirlib-devel-0:20240 100% |  10.4 MiB/s | 573.8 KiB |  00m00s
[  5/109] ocaml-ppx-deriving-devel-0:6. 100% |   8.3 MiB/s |   1.5 MiB |  00m00s
[  6/109] ocaml-0:5.3.0-2.fc42.x86_64   100% |  42.2 MiB/s |  32.9 MiB |  00m01s
[  7/109] ocaml-ppx-expect-devel-0:0.17 100% |  11.4 MiB/s | 698.4 KiB |  00m00s
[  8/109] ocaml-sedlex-devel-0:3.3-3.fc 100% |  10.3 MiB/s |   1.4 MiB |  00m00s
[  9/109] ocaml-uucp-devel-0:16.0.0-3.f 100% |   9.4 MiB/s |   1.6 MiB |  00m00s
[ 10/109] ocaml-zarith-devel-0:1.14-6.f 100% |   6.2 MiB/s | 392.2 KiB |  00m00s
[ 11/109] ocaml-yojson-devel-0:2.2.2-3. 100% |  10.7 MiB/s |   1.9 MiB |  00m00s
[ 12/109] ocaml-rpm-macros-0:5.3.0-2.fc 100% | 150.0 KiB/s |  14.8 KiB |  00m00s
[ 13/109] opam-0:2.3.0-5.fc42.x86_64    100% |  23.4 MiB/s |   4.1 MiB |  00m00s
[ 14/109] ocaml-srpm-macros-0:10-4.fc42 100% | 354.0 KiB/s |   9.2 KiB |  00m00s
[ 15/109] ocaml-dune-build-info-0:3.17. 100% | 835.9 KiB/s |  21.7 KiB |  00m00s
[ 16/109] ocaml-runtime-0:5.3.0-2.fc42. 100% |  26.8 MiB/s |   2.2 MiB |  00m00s
[ 17/109] ocaml-menhirlib-0:20240715-3. 100% |   2.8 MiB/s | 183.3 KiB |  00m00s
[ 18/109] ocaml-ppx-derivers-devel-0:1. 100% | 566.3 KiB/s |  25.5 KiB |  00m00s
[ 19/109] ocaml-compiler-libs-0:5.3.0-2 100% |  34.1 MiB/s |  52.4 MiB |  00m02s
[ 20/109] ocaml-ppx-deriving-0:6.0.3-3. 100% |  21.2 MiB/s |   5.1 MiB |  00m00s
[ 21/109] ocaml-ppxlib-devel-1:0.35.0-1 100% |  49.0 MiB/s |  15.3 MiB |  00m00s
[ 22/109] ocaml-ppx-expect-0:0.17.2-4.f 100% |  61.7 MiB/s |   5.2 MiB |  00m00s
[ 23/109] ocaml-ppx-here-devel-0:0.17.0 100% |   1.4 MiB/s |  75.3 KiB |  00m00s
[ 24/109] ocaml-base-devel-0:0.17.1-4.f 100% |  65.9 MiB/s |  11.1 MiB |  00m00s
[ 25/109] ocaml-ppx-inline-test-devel-0 100% |   5.2 MiB/s | 355.8 KiB |  00m00s
[ 26/109] ocaml-sexplib0-devel-0:0.17.0 100% |  11.0 MiB/s | 461.1 KiB |  00m00s
[ 27/109] ocaml-stdio-devel-0:0.17.0-5. 100% |   3.5 MiB/s | 142.5 KiB |  00m00s
[ 28/109] ocaml-sedlex-0:3.3-3.fc42.x86 100% |  68.2 MiB/s |   5.0 MiB |  00m00s
[ 29/109] ocaml-gen-devel-0:1.1-14.fc42 100% |   6.2 MiB/s | 751.3 KiB |  00m00s
[ 30/109] gmp-devel-1:6.3.0-4.fc42.x86_ 100% |   3.7 MiB/s | 174.4 KiB |  00m00s
[ 31/109] ocaml-zarith-0:1.14-6.fc42.x8 100% |   4.0 MiB/s | 158.8 KiB |  00m00s
[ 32/109] ocaml-yojson-0:2.2.2-3.fc42.x 100% |   7.8 MiB/s |   1.0 MiB |  00m00s
[ 33/109] bubblewrap-0:0.10.0-1.fc42.x8 100% |   1.6 MiB/s |  62.7 KiB |  00m00s
[ 34/109] bzip2-0:1.0.8-20.fc42.x86_64  100% |   1.2 MiB/s |  52.1 KiB |  00m00s
[ 35/109] glpk-0:5.0-13.fc42.x86_64     100% |   7.5 MiB/s | 398.7 KiB |  00m00s
[ 36/109] ocaml-uucp-0:16.0.0-3.fc42.x8 100% |  14.8 MiB/s |   4.3 MiB |  00m00s
[ 37/109] opam-installer-0:2.3.0-5.fc42 100% |  27.4 MiB/s |   1.9 MiB |  00m00s
[ 38/109] ocaml-ppx-derivers-0:1.2.1-40 100% | 932.8 KiB/s |  19.6 KiB |  00m00s
[ 39/109] ocaml-compiler-libs-janestree 100% |   4.4 MiB/s | 143.1 KiB |  00m00s
[ 40/109] tar-2:1.35-5.fc42.x86_64      100% |  10.5 MiB/s | 862.5 KiB |  00m00s
[ 41/109] ocaml-ppxlib-tools-1:0.35.0-1 100% |  73.3 MiB/s |   4.5 MiB |  00m00s
[ 42/109] ocaml-base-0:0.17.1-4.fc42.x8 100% |  68.6 MiB/s |   4.2 MiB |  00m00s
[ 43/109] ocaml-intrinsics-kernel-devel 100% |   4.1 MiB/s | 122.4 KiB |  00m00s
[ 44/109] ocaml-ppx-here-0:0.17.0-6.fc4 100% |  72.6 MiB/s |   4.8 MiB |  00m00s
[ 45/109] ocaml-time-now-devel-0:0.17.0 100% | 708.2 KiB/s |  39.0 KiB |  00m00s
[ 46/109] ocaml-sexplib0-0:0.17.0-4.fc4 100% |   6.0 MiB/s | 171.3 KiB |  00m00s
[ 47/109] ocaml-ppx-inline-test-0:0.17. 100% |  66.0 MiB/s |  10.0 MiB |  00m00s
[ 48/109] ocaml-ppxlib-1:0.35.0-1.fc42. 100% |  37.3 MiB/s |  10.5 MiB |  00m00s
[ 49/109] ocaml-stdio-0:0.17.0-5.fc42.x 100% | 939.2 KiB/s |  60.1 KiB |  00m00s
[ 50/109] gmp-c++-1:6.3.0-4.fc42.x86_64 100% | 318.9 KiB/s |  18.5 KiB |  00m00s
[ 51/109] ocaml-gen-0:1.1-14.fc42.x86_6 100% |   3.4 MiB/s | 294.8 KiB |  00m00s
[ 52/109] zlib-ng-0:2.2.4-3.fc42.x86_64 100% |   2.4 MiB/s |  85.7 KiB |  00m00s
[ 53/109] ocaml-compiler-libs-janestree 100% |   1.3 MiB/s |  89.2 KiB |  00m00s
[ 54/109] ocaml-intrinsics-kernel-0:0.1 100% |   1.4 MiB/s |  65.1 KiB |  00m00s
[ 55/109] ocaml-jane-street-headers-dev 100% | 435.9 KiB/s |  14.4 KiB |  00m00s
[ 56/109] ocaml-ppx-compare-devel-0:0.1 100% |   8.7 MiB/s | 330.2 KiB |  00m00s
[ 57/109] ocaml-ppx-hash-devel-0:0.17.0 100% |   4.9 MiB/s | 270.1 KiB |  00m00s
[ 58/109] ocaml-ppx-enumerate-devel-0:0 100% |   1.6 MiB/s | 150.1 KiB |  00m00s
[ 59/109] ocaml-ppx-sexp-conv-devel-0:0 100% |  14.9 MiB/s |   1.5 MiB |  00m00s
[ 60/109] ocaml-time-now-0:0.17.0-5.fc4 100% | 336.4 KiB/s |  30.3 KiB |  00m00s
[ 61/109] suitesparse-0:7.8.3-1.fc42.x8 100% |  46.8 MiB/s |  16.5 MiB |  00m00s
[ 62/109] ocaml-ppx-compare-0:0.17.0-6. 100% |   5.6 MiB/s | 155.1 KiB |  00m00s
[ 63/109] ocaml-ppx-enumerate-0:0.17.0- 100% |   2.8 MiB/s |  93.3 KiB |  00m00s
[ 64/109] ocaml-ppx-hash-0:0.17.0-6.fc4 100% |   2.9 MiB/s | 125.9 KiB |  00m00s
[ 65/109] ocaml-ppxlib-jane-devel-0:0.1 100% |   6.3 MiB/s | 802.0 KiB |  00m00s
[ 66/109] ocaml-ppx-sexp-conv-0:0.17.0- 100% |   5.6 MiB/s | 517.8 KiB |  00m00s
[ 67/109] flexiblas-0:3.4.5-1.fc42.x86_ 100% | 416.5 KiB/s |  26.2 KiB |  00m00s
[ 68/109] flexiblas-openblas-openmp-0:3 100% | 539.1 KiB/s |  17.3 KiB |  00m00s
[ 69/109] flexiblas-netlib-0:3.4.5-1.fc 100% |  12.4 MiB/s |   3.4 MiB |  00m00s
[ 70/109] libgfortran-0:15.1.1-2.fc42.x 100% |  46.7 MiB/s | 957.3 KiB |  00m00s
[ 71/109] ocaml-ppxlib-jane-0:0.17.2-3. 100% |   4.9 MiB/s | 314.6 KiB |  00m00s
[ 72/109] openblas-0:0.3.29-1.fc42.x86_ 100% | 919.5 KiB/s |  42.3 KiB |  00m00s
[ 73/109] openblas-openmp-0:0.3.29-1.fc 100% |  37.8 MiB/s |   5.4 MiB |  00m00s
[ 74/109] diffutils-0:3.12-1.fc42.x86_6 100% |   4.0 MiB/s | 392.6 KiB |  00m00s
[ 75/109] build-reproducibility-srpm-ma 100% | 402.9 KiB/s |  11.7 KiB |  00m00s
[ 76/109] ansible-srpm-macros-0:1-17.1. 100% | 303.2 KiB/s |  20.3 KiB |  00m00s
[ 77/109] dwz-0:0.15-9.fc42.x86_64      100% |   1.9 MiB/s | 135.7 KiB |  00m00s
[ 78/109] fonts-srpm-macros-1:2.0.5-21. 100% | 531.3 KiB/s |  27.1 KiB |  00m00s
[ 79/109] forge-srpm-macros-0:0.4.0-2.f 100% | 735.2 KiB/s |  19.9 KiB |  00m00s
[ 80/109] redhat-rpm-config-0:342-4.fc4 100% | 413.7 KiB/s |  81.1 KiB |  00m00s
[ 81/109] fpc-srpm-macros-0:1.3-14.fc42 100% | 267.3 KiB/s |   8.0 KiB |  00m00s
[ 82/109] ghc-srpm-macros-0:1.9.2-2.fc4 100% | 381.5 KiB/s |   9.2 KiB |  00m00s
[ 83/109] go-srpm-macros-0:3.6.0-6.fc42 100% | 790.2 KiB/s |  27.7 KiB |  00m00s
[ 84/109] kernel-srpm-macros-0:1.0-25.f 100% | 235.0 KiB/s |   9.9 KiB |  00m00s
[ 85/109] lua-srpm-macros-0:1-15.fc42.n 100% | 287.6 KiB/s |   8.9 KiB |  00m00s
[ 86/109] gnat-srpm-macros-0:6-7.fc42.n 100% | 119.6 KiB/s |   8.6 KiB |  00m00s
[ 87/109] openblas-srpm-macros-0:2-19.f 100% | 129.4 KiB/s |   7.8 KiB |  00m00s
[ 88/109] perl-srpm-macros-0:1-57.fc42. 100% | 197.8 KiB/s |   8.5 KiB |  00m00s
[ 89/109] python-srpm-macros-0:3.13-4.f 100% | 656.5 KiB/s |  23.0 KiB |  00m00s
[ 90/109] pyproject-srpm-macros-0:1.18. 100% | 288.7 KiB/s |  13.9 KiB |  00m00s
[ 91/109] package-notes-srpm-macros-0:0 100% |  93.5 KiB/s |   9.3 KiB |  00m00s
[ 92/109] qt5-srpm-macros-0:5.15.15-1.f 100% | 306.8 KiB/s |   8.9 KiB |  00m00s
[ 93/109] rust-srpm-macros-0:26.3-4.fc4 100% | 272.2 KiB/s |  11.7 KiB |  00m00s
[ 94/109] zig-srpm-macros-0:1-4.fc42.no 100% | 191.7 KiB/s |   8.2 KiB |  00m00s
[ 95/109] tree-sitter-srpm-macros-0:0.1 100% | 126.2 KiB/s |  11.2 KiB |  00m00s
[ 96/109] libquadmath-0:15.1.1-2.fc42.x 100% |   5.0 MiB/s | 198.1 KiB |  00m00s
[ 97/109] add-determinism-0:0.6.0-1.fc4 100% |   8.8 MiB/s | 918.3 KiB |  00m00s
[ 98/109] filesystem-srpm-macros-0:3.18 100% | 314.5 KiB/s |  25.8 KiB |  00m00s
[ 99/109] qt6-srpm-macros-0:6.9.0-2.fc4 100% | 170.6 KiB/s |   9.4 KiB |  00m00s
[100/109] js-doxygen-2:1.13.2-4.fc42.no 100% |   3.2 MiB/s | 106.8 KiB |  00m00s
[101/109] web-assets-filesystem-0:5-23. 100% | 182.0 KiB/s |   7.8 KiB |  00m00s
[102/109] efi-srpm-macros-0:6-3.fc42.no 100% | 127.8 KiB/s |  22.5 KiB |  00m00s
[103/109] gcc-plugin-annobin-0:15.0.1-0 100% |   1.2 MiB/s |  46.8 KiB |  00m00s
[104/109] glibc-gconv-extra-0:2.41-5.fc 100% |  16.1 MiB/s |   1.7 MiB |  00m00s
[105/109] annobin-docs-0:12.94-1.fc42.n 100% |   1.1 MiB/s |  90.4 KiB |  00m00s
[106/109] annobin-plugin-gcc-0:12.94-1. 100% |   9.0 MiB/s | 981.9 KiB |  00m00s
[107/109] libgomp-0:15.0.1-0.11.fc42.x8 100% |   8.0 MiB/s | 358.3 KiB |  00m00s
[108/109] cpp-0:15.0.1-0.11.fc42.x86_64 100% |  51.1 MiB/s |  12.9 MiB |  00m00s
[109/109] gcc-0:15.0.1-0.11.fc42.x86_64 100% |  54.1 MiB/s |  39.4 MiB |  00m01s
--------------------------------------------------------------------------------
[109/109] Total                         100% |  62.8 MiB/s | 283.9 MiB |  00m05s
Running transaction
[  1/114] Verify package files          100% | 174.0   B/s | 109.0   B |  00m01s
[  2/114] Prepare transaction           100% |   1.2 KiB/s | 112.0   B |  00m00s
[  3/114] Downgrading libgomp-0:15.0.1- 100% | 175.4 MiB/s | 539.0 KiB |  00m00s
[  4/114] Installing libgfortran-0:15.1 100% | 417.9 MiB/s |   3.3 MiB |  00m00s
[  5/114] Installing ocaml-srpm-macros- 100% |   2.1 MiB/s |   2.2 KiB |  00m00s
[  6/114] Downgrading cpp-0:15.0.1-0.11 100% | 310.0 MiB/s |  37.8 MiB |  00m00s
[  7/114] Downgrading gcc-0:15.0.1-0.11 100% | 277.4 MiB/s | 110.9 MiB |  00m00s
[  8/114] Installing gcc-plugin-annobin 100% |   5.7 MiB/s |  58.8 KiB |  00m00s
[  9/114] Installing annobin-docs-0:12. 100% |  48.8 MiB/s | 100.0 KiB |  00m00s
[ 10/114] Installing annobin-plugin-gcc 100% | 323.9 MiB/s | 995.1 KiB |  00m00s
[ 11/114] Installing web-assets-filesys 100% | 835.9 KiB/s | 856.0   B |  00m00s
[ 12/114] Installing qt6-srpm-macros-0: 100% | 722.7 KiB/s | 740.0   B |  00m00s
[ 13/114] Installing filesystem-srpm-ma 100% |  38.0 MiB/s |  38.9 KiB |  00m00s
[ 14/114] Installing efi-srpm-macros-0: 100% |  20.1 MiB/s |  41.1 KiB |  00m00s
[ 15/114] Installing libquadmath-0:15.1 100% | 103.9 MiB/s | 319.2 KiB |  00m00s
[ 16/114] Installing add-determinism-0: 100% | 117.4 MiB/s |   2.5 MiB |  00m00s
[ 17/114] Installing build-reproducibil 100% |   1.0 MiB/s |   1.0 KiB |  00m00s
[ 18/114] Installing zig-srpm-macros-0: 100% |   1.6 MiB/s |   1.7 KiB |  00m00s
[ 19/114] Installing tree-sitter-srpm-m 100% |   7.2 MiB/s |   7.4 KiB |  00m00s
[ 20/114] Installing rust-srpm-macros-0 100% |   5.4 MiB/s |   5.6 KiB |  00m00s
[ 21/114] Installing qt5-srpm-macros-0: 100% | 757.8 KiB/s | 776.0   B |  00m00s
[ 22/114] Installing pyproject-srpm-mac 100% |   2.4 MiB/s |   2.5 KiB |  00m00s
[ 23/114] Installing perl-srpm-macros-0 100% |   1.1 MiB/s |   1.1 KiB |  00m00s
[ 24/114] Installing package-notes-srpm 100% |   2.0 MiB/s |   2.0 KiB |  00m00s
[ 25/114] Installing openblas-srpm-macr 100% | 382.8 KiB/s | 392.0   B |  00m00s
[ 26/114] Installing lua-srpm-macros-0: 100% |   1.9 MiB/s |   1.9 KiB |  00m00s
[ 27/114] Installing kernel-srpm-macros 100% |   2.3 MiB/s |   2.3 KiB |  00m00s
[ 28/114] Installing gnat-srpm-macros-0 100% |   1.2 MiB/s |   1.3 KiB |  00m00s
[ 29/114] Installing ghc-srpm-macros-0: 100% |   1.0 MiB/s |   1.0 KiB |  00m00s
[ 30/114] Installing fpc-srpm-macros-0: 100% | 410.2 KiB/s | 420.0   B |  00m00s
[ 31/114] Installing dwz-0:0.15-9.fc42. 100% |  22.0 MiB/s | 292.4 KiB |  00m00s
[ 32/114] Installing ansible-srpm-macro 100% |  35.4 MiB/s |  36.2 KiB |  00m00s
[ 33/114] Installing fonts-srpm-macros- 100% |  27.8 MiB/s |  57.0 KiB |  00m00s
[ 34/114] Installing forge-srpm-macros- 100% |  19.7 MiB/s |  40.3 KiB |  00m00s
[ 35/114] Installing go-srpm-macros-0:3 100% |  30.3 MiB/s |  62.0 KiB |  00m00s
[ 36/114] Installing python-srpm-macros 100% |  25.5 MiB/s |  52.2 KiB |  00m00s
[ 37/114] Installing redhat-rpm-config- 100% |   8.2 MiB/s | 192.2 KiB |  00m00s
[ 38/114] Installing diffutils-0:3.12-1 100% |  78.1 MiB/s |   1.6 MiB |  00m00s
[ 39/114] Installing openblas-0:0.3.29- 100% |  55.4 MiB/s | 113.5 KiB |  00m00s
[ 40/114] Installing openblas-openmp-0: 100% | 480.4 MiB/s |  43.7 MiB |  00m00s
[ 41/114] Installing flexiblas-0:3.4.5- 100% |  25.2 MiB/s |  51.6 KiB |  00m00s
[ 42/114] Installing flexiblas-openblas 100% |  19.6 MiB/s |  40.1 KiB |  00m00s
[ 43/114] Installing flexiblas-netlib-0 100% | 227.8 MiB/s |  10.9 MiB |  00m00s
[ 44/114] Installing suitesparse-0:7.8. 100% | 414.3 MiB/s | 114.8 MiB |  00m00s
[ 45/114] Installing ocaml-jane-street- 100% |   6.4 MiB/s |  13.2 KiB |  00m00s
[ 46/114] Installing zlib-ng-0:2.2.4-3. 100% |  77.3 MiB/s | 158.4 KiB |  00m00s
[ 47/114] Installing glpk-0:5.0-13.fc42 100% | 178.9 MiB/s | 915.9 KiB |  00m00s
[ 48/114] Installing gmp-c++-1:6.3.0-4. 100% |  13.9 MiB/s |  28.5 KiB |  00m00s
[ 49/114] Installing gmp-devel-1:6.3.0- 100% | 115.3 MiB/s | 354.1 KiB |  00m00s
[ 50/114] Installing tar-2:1.35-5.fc42. 100% | 109.7 MiB/s |   3.0 MiB |  00m00s
[ 51/114] Installing opam-installer-0:2 100% | 219.8 MiB/s |   7.0 MiB |  00m00s
[ 52/114] Installing bzip2-0:1.0.8-20.f 100% |   6.8 MiB/s | 103.8 KiB |  00m00s
[ 53/114] Installing bubblewrap-0:0.10. 100% |   8.9 MiB/s | 136.3 KiB |  00m00s
[ 54/114] Installing ocaml-runtime-0:5. 100% | 128.8 MiB/s |   4.4 MiB |  00m00s
[ 55/114] Installing ocaml-0:5.3.0-2.fc 100% | 306.0 MiB/s | 139.8 MiB |  00m00s
[ 56/114] Installing ocaml-sexplib0-0:0 100% |  44.4 MiB/s | 363.7 KiB |  00m00s
[ 57/114] Installing ocaml-compiler-lib 100% | 227.4 MiB/s | 103.0 MiB |  00m00s
[ 58/114] Installing ocaml-compiler-lib 100% |  27.7 MiB/s | 141.9 KiB |  00m00s
[ 59/114] Installing ocaml-sexplib0-dev 100% | 167.5 MiB/s | 857.8 KiB |  00m00s
[ 60/114] Installing ocaml-ppx-derivers 100% |   7.8 MiB/s |  24.0 KiB |  00m00s
[ 61/114] Installing ocaml-ppxlib-1:0.3 100% | 416.5 MiB/s |  30.4 MiB |  00m00s
[ 62/114] Installing ocaml-ppxlib-jane- 100% | 142.3 MiB/s | 728.6 KiB |  00m00s
[ 63/114] Installing ocaml-ppx-derivers 100% |  12.8 MiB/s |  26.2 KiB |  00m00s
[ 64/114] Installing ocaml-gen-0:1.1-14 100% | 136.0 MiB/s | 557.2 KiB |  00m00s
[ 65/114] Installing ocaml-intrinsics-k 100% |  30.0 MiB/s | 123.0 KiB |  00m00s
[ 66/114] Installing ocaml-base-0:0.17. 100% | 312.7 MiB/s |   8.4 MiB |  00m00s
[ 67/114] Installing ocaml-ppx-here-0:0 100% | 426.8 MiB/s |  18.4 MiB |  00m00s
[ 68/114] Installing ocaml-stdio-0:0.17 100% |  39.4 MiB/s | 121.0 KiB |  00m00s
[ 69/114] Installing ocaml-time-now-0:0 100% |  20.8 MiB/s |  42.7 KiB |  00m00s
[ 70/114] Installing ocaml-ppx-inline-t 100% | 439.8 MiB/s |  38.3 MiB |  00m00s
[ 71/114] Installing ocaml-ppx-compare- 100% |  90.5 MiB/s | 370.6 KiB |  00m00s
[ 72/114] Installing ocaml-ppx-hash-0:0 100% |  67.5 MiB/s | 276.5 KiB |  00m00s
[ 73/114] Installing ocaml-ppx-expect-0 100% | 410.4 MiB/s |  19.7 MiB |  00m00s
[ 74/114] Installing ocaml-ppx-enumerat 100% |  44.6 MiB/s | 182.8 KiB |  00m00s
[ 75/114] Installing ocaml-ppx-sexp-con 100% | 211.7 MiB/s |   1.5 MiB |  00m00s
[ 76/114] Installing ocaml-intrinsics-k 100% |  37.9 MiB/s | 193.9 KiB |  00m00s
[ 77/114] Installing ocaml-base-devel-0 100% | 170.4 MiB/s |  19.9 MiB |  00m00s
[ 78/114] Installing ocaml-stdio-devel- 100% |   9.2 MiB/s | 235.2 KiB |  00m00s
[ 79/114] Installing ocaml-gen-devel-0: 100% | 146.1 MiB/s |   1.3 MiB |  00m00s
[ 80/114] Installing ocaml-sedlex-0:3.3 100% | 360.7 MiB/s |  20.9 MiB |  00m00s
[ 81/114] Installing ocaml-ppx-deriving 100% | 428.3 MiB/s |  19.3 MiB |  00m00s
[ 82/114] Installing ocaml-ppxlib-tools 100% | 388.0 MiB/s |  17.5 MiB |  00m00s
[ 83/114] Installing ocaml-compiler-lib 100% |  66.4 MiB/s | 204.1 KiB |  00m00s
[ 84/114] Installing ocaml-ppxlib-devel 100% | 421.6 MiB/s |  31.2 MiB |  00m00s
[ 85/114] Installing ocaml-ppxlib-jane- 100% | 251.4 MiB/s |   1.5 MiB |  00m00s
[ 86/114] Installing ocaml-ppx-compare- 100% | 153.0 MiB/s | 626.8 KiB |  00m00s
[ 87/114] Installing ocaml-ppx-sexp-con 100% | 289.4 MiB/s |   3.2 MiB |  00m00s
[ 88/114] Installing ocaml-ppx-hash-dev 100% | 119.3 MiB/s | 488.6 KiB |  00m00s
[ 89/114] Installing ocaml-ppx-enumerat 100% |  77.3 MiB/s | 237.5 KiB |  00m00s
[ 90/114] Installing ocaml-time-now-dev 100% |  19.2 MiB/s |  39.2 KiB |  00m00s
[ 91/114] Installing ocaml-ppx-inline-t 100% | 134.7 MiB/s | 689.6 KiB |  00m00s
[ 92/114] Installing ocaml-ppx-here-dev 100% |  30.9 MiB/s |  95.0 KiB |  00m00s
[ 93/114] Installing ocaml-rpm-macros-0 100% |  19.8 MiB/s |  20.3 KiB |  00m00s
[ 94/114] Installing ocaml-dune-0:3.17. 100% | 217.7 MiB/s |  22.6 MiB |  00m00s
[ 95/114] Installing ocaml-dune-build-i 100% |   1.8 MiB/s |  24.0 KiB |  00m00s
[ 96/114] Installing ocaml-menhirlib-0: 100% |  10.6 MiB/s | 347.0 KiB |  00m00s
[ 97/114] Installing ocaml-menhirlib-de 100% |  21.3 MiB/s |   1.0 MiB |  00m00s
[ 98/114] Installing ocaml-uucp-0:16.0. 100% | 323.0 MiB/s |  22.3 MiB |  00m00s
[ 99/114] Installing ocaml-yojson-0:2.2 100% | 174.6 MiB/s |   3.1 MiB |  00m00s
[100/114] Installing ocaml-zarith-0:1.1 100% |  92.5 MiB/s | 379.0 KiB |  00m00s
[101/114] Installing ocaml-zarith-devel 100% | 174.5 MiB/s | 893.3 KiB |  00m00s
[102/114] Installing ocaml-yojson-devel 100% | 203.6 MiB/s |   3.9 MiB |  00m00s
[103/114] Installing ocaml-uucp-devel-0 100% | 462.6 MiB/s |  13.4 MiB |  00m00s
[104/114] Installing ocaml-menhir-0:202 100% | 255.4 MiB/s |   7.4 MiB |  00m00s
[105/114] Installing ocaml-dune-build-i 100% |  16.3 MiB/s |  33.4 KiB |  00m00s
[106/114] Installing ocaml-ppx-expect-d 100% | 156.3 MiB/s |   1.3 MiB |  00m00s
[107/114] Installing ocaml-ppx-deriving 100% | 275.9 MiB/s |   3.0 MiB |  00m00s
[108/114] Installing ocaml-sedlex-devel 100% | 359.5 MiB/s |   4.7 MiB |  00m00s
[109/114] Installing opam-0:2.3.0-5.fc4 100% | 340.2 MiB/s |  14.3 MiB |  00m00s
[110/114] Installing js-doxygen-2:1.13. 100% |  89.0 MiB/s | 364.7 KiB |  00m00s
[111/114] Installing glibc-gconv-extra- 100% | 123.9 MiB/s |   7.3 MiB |  00m00s
[112/114] Removing gcc-0:15.1.1-1.fc42. 100% |  17.6 KiB/s | 343.0   B |  00m00s
[113/114] Removing cpp-0:15.1.1-1.fc42. 100% |   4.0 KiB/s |  37.0   B |  00m00s
[114/114] Removing libgomp-0:15.1.1-1.f 100% |  19.0   B/s |   9.0   B |  00m00s
Complete!
[#1497733] 2025/05/27 23:14:04 Cloning repositories
Cloning into 'sylvan'...
+ git -C sylvan checkout -q 1e657ed6e1f68c1957fb9775aa9e55dc883d5f0e
+ git -C sylvan submodule update --init --recursive
[#1497733] 2025/05/27 23:14:05 Running task build
[#1497733] 2025/05/27 23:14:12 Processing post-success triggers...
[#1497733] 2025/05/27 23:14:12 Skipping trigger, condition unmet
build 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
+ cd sylvan
+ bash misc/scripts/build-stage0.sh
+ test '!' -d /home/build/sylvan/build
+ mkdir /home/build/sylvan/build
+ cd /home/build/sylvan/bs
+ dune build bin/main.exe
File "parser/parser.mly", line 18, characters 7-12:
Warning: the token Annot is unused.
File "parser/parser.mly", line 20, characters 7-13:
Warning: the token Aspect is unused.
File "parser/parser.mly", line 93, characters 7-24:
Warning: the token BlockCommentClose is unused.
File "parser/parser.mly", line 26, characters 7-10:
Warning: the token Inh is unused.
File "parser/parser.mly", line 32, characters 7-9:
Warning: the token On is unused.
File "parser/parser.mly", line 38, characters 7-10:
Warning: the token Syn is unused.
File "parser/parser.mly", line 42, characters 7-14:
Warning: the token Without is unused.
+ install _build/default/bin/main.exe /home/build/sylvan/build/sylvan-stage0
TODO: the rest of the bootstrap
+ echo 'TODO: the rest of the bootstrap'
Build complete: success a month ago (took 46 seconds)