Task 4781441407516672

doc: clarify the documentation of `Assume` assertion

2025-03-20 11:22:03 completed worker:ci_worker_1738693563_606004509 pull/32100 a880d1bf87817b1e6606c971cbfe98382898a0be


Commands that took longer than 1 second (total 7m29s)
linedurationpercentagecommand
1882s0%docker build --file /tmp/cirrus-build-1965186861/ci/test_imagefile --build-arg CI_IMAGE_NAME_TAG=mirror.gcr.io/debian:bookworm --build-arg FILE_ENV=./ci/test/00_setup_env_native_nowallet_libbitcoinkernel.sh --cpuset-cpus=0,7,36,40,48,51,55,57,59,60 --platform=linux --label=bitcoin-ci-test --tag=ci_native_nowallet_libbitcoinkernel /tmp/cirrus-build-1965186861
2511s0%docker image prune --force --filter label=bitcoin-ci-test
2632s0%docker exec a403cdd6002618f5f8a1e0b661834d2f15ddf552bd5292e0b2b21e49fb258506 bash -c 'export PATH="/path_with space:/ci_container_base/ci/scratch/bins/:/ci_container_base/ci/retry:$PATH" && cd "/ci_container_base" && rsync --archive --stats --human-readable /tmp/cirrus-build-1965186861/ /ci_container_base'
5139s2%bash -c 'CONFIG_SHELL= make -j10 -C depends HOST=x86_64-pc-linux-gnu NO_WALLET=1 CC=clang-16 CXX='\''clang++-16 -stdlib=libc++'\'' LOG=1'
53427s6%bash -c 'cmake -S /ci_container_base -DBUILD_BENCH=ON -DBUILD_FUZZ_BINARY=ON -DCMAKE_TOOLCHAIN_FILE=/ci_container_base/depends/x86_64-pc-linux-gnu/toolchain.cmake -DWERROR=ON -DENABLE_EXTERNAL_SIGNER=ON -DCMAKE_INSTALL_PREFIX=/ci_container_base/ci/scratch/out -DREDUCE_EXPORTS=ON -DBUILD_UTIL_CHAINSTATE=ON -DBUILD_KERNEL_LIB=ON -DBUILD_SHARED_LIBS=ON || ( (cat CMakeFiles/CMakeOutput.log CMakeFiles/CMakeError.log) && false)'
8601m40s22%bash -c 'cmake --build . -j10 --target all install'
22301m15s16%ctest --stop-on-failure -j10 --timeout 2400
24933m32s47%test/functional/test_runner.py --ci -j10 --tmpdirprefix /ci_container_base/ci/scratch/test_runner/ --ansi --combinedlogslen=99999999 --timeout-factor=40 --quiet --failfast
28287s1%'[' false = true ']'
Tags
  • worker:ci_worker_1738693563_606004509
  • no wallet, libbitcoinkernel
  • pull/32100
  • COMPLETED