PR #28973: Add an OCaml 5.4.0 upper bound on why3 1.6.0-1.8.0
By jmid • View on GitHub • Status: MERGED • Labels: consider for merge
Test State: COMPLETED
Packages
- why3.1.6.0
- why3.1.7.0
- why3.1.7.1
- why3.1.7.2
- why3.1.8.0
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| why3.1.6.0 | — No solution | view |
| why3.1.7.0 | — No solution | view |
| why3.1.7.1 | — No solution | view |
| why3.1.7.2 | — No solution | view |
| why3.1.8.0 | — No solution | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| why3.1.6.0 | ✓ Success | view |
| why3.1.7.0 | ✓ Success | view |
| why3.1.7.1 | ✓ Success | view |
| why3.1.7.2 | ✓ Success | view |
| why3.1.8.0 | ✓ Success | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| why3.1.6.0 | ✓ Success | view |
| why3.1.7.0 | ✓ Success | view |
| why3.1.7.1 | ✓ Success | view |
| why3.1.7.2 | ✓ Success | view |
| why3.1.8.0 | ✓ Success | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| why3.1.6.0 | ✓ Success | view |
| why3.1.7.0 | ✓ Success | view |
| why3.1.7.1 | ✓ Success | view |
| why3.1.7.2 | ✓ Success | view |
| why3.1.8.0 | ✓ Success | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| why3.1.6.0 | — No solution | view |
| why3.1.7.0 | — No solution | view |
| why3.1.7.1 | — No solution | view |
| why3.1.7.2 | — No solution | view |
| why3.1.8.0 | — No solution | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| why3.1.6.0 | ✓ Success | view |
| why3.1.7.0 | ✓ Success | view |
| why3.1.7.1 | ✓ Success | view |
| why3.1.7.2 | ✓ Success | view |
| why3.1.8.0 | ✓ Success | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| why3.1.6.0 | — No solution | view |
| why3.1.7.0 | — No solution | view |
| why3.1.7.1 | — No solution | view |
| why3.1.7.2 | — No solution | view |
| why3.1.8.0 | — No solution | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| why3.1.6.0 | ✓ Success | view |
| why3.1.7.0 | ✓ Success | view |
| why3.1.7.1 | ✓ Success | view |
| why3.1.7.2 | ✓ Success | view |
| why3.1.8.0 | ✓ Success | view |