Skip to content
Build

Do not write anything into the log file when there are no queries to log #1304

Sign in to view logs

Do not write anything into the log file when there are no queries to log

Do not write anything into the log file when there are no queries to log #1304

Triggered via pull request November 24, 2025 22:48
@hra687261hra687261
opened #463
hra687261:donotlog_empty_queries
Status Failure
Total duration 36m 29s
Artifacts –

build.yml

on: pull_request
lint
3m 52s
lint
Matrix: build
Matrix: test-solver
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
Test cvc5
Process completed with exit code 1.
Test colibri2
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-19651849883, another job may be creating this cache.
Test bitwuzla-cxx
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-19651849883, another job may be creating this cache.
Test z3
Failed to save: Unable to reserve cache with key v1-setup-ocaml-dune-linux-x86_64-a14c3915cb2cd0dc71352a018ff3a1f36864e6ae2ac49e2b9221aafc37da950e-19651849883, another job may be creating this cache.