Build:
- 1
- 0
2026-09-03 17:15.07: New job: build gbddml.2.71.10 (cd876b7f2c22) 2026-09-03 17:15.07: Waiting for resource in pool day11-builds 2026-09-03 17:32.45: Got resource from pool day11-builds 2026-09-03 17:32.45: [profile full] build gbddml.2.71.10 2026-09-03 17:32.45: build gbddml.2.71.10 (cd876b7f2c22) === DEPENDENCIES (7 transitive) === base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e camlidl.1.13-1 edea9bcfba62 dune.3.24.2 bf83cdf0a904 ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-config.2 85edea6ac168 === STDOUT === Processing: [default: loading data] [gbddml.2.71.10: dl] [gbddml.2.71.10: extract] -> retrieved gbddml.2.71.10 (https://opam.ocaml.org/cache) [gbddml: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "gbddml" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/gbddml.2.71.10) - (cd _build/default/lib/gbddml && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 -x c++ -g -O2 -fno-operator-names -fPIC -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/camlidl -o gbdd.o -c gbdd.c) - gbdd.c: In member function 'int GBddMemory::alloc_page()': - gbdd.c:1143:36: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister] - 1143 | register GBddNode* ptr = &(page[1].node); - | ^~~ - gbdd.c:1144:36: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister] - 1144 | register GBddNode* nxt = &(page[2].node); - | ^~~ - gbdd.c:1145:30: warning: ISO C++17 does not allow 'register' storage class specifier [-Wregister] - 1145 | register int k = size; - | ^ -> compiled gbddml.2.71.10 -> installed gbddml.2.71.10 === STDERR === 2026-09-03 17:33.12: OK: build gbddml.2.71.10 (runc: 4.6s, disk: 6KB) 2026-09-03 17:33.12: Job succeeded