PR #29196: WIP: possibly mark bitwuzla-cxx.0.{2,3,4}.0 as unavailable
By shonfeder • View on GitHub
Test State: COMPLETED
Packages
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | — No solution | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | — No solution | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | — No solution | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | ✗ Failure | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | — No solution | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | ✓ Success | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | — No solution | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| bitwuzla-cxx.0.2.0 | ✓ Success | view |