PR #29225: All kind2 packages <= 2.3.0 are not compatible with Menhir 20260112
By daniel-larraz • View on GitHub • Status: MERGED
Test State: COMPLETED
Packages
- kind2.1.6.0
- kind2.1.7.0
- kind2.1.8.0
- kind2.1.9.0
- kind2.2.0.0
- kind2.2.1.0
- kind2.2.1.1
- kind2.2.2.0
- kind2.2.3.0
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| kind2.1.6.0 | ✓ Success | view |
| kind2.1.7.0 | ✓ Success | view |
| kind2.1.8.0 | ✓ Success | view |
| kind2.1.9.0 | ✓ Success | view |
| kind2.2.0.0 | ✓ Success | view |
| kind2.2.1.0 | ✓ Success | view |
| kind2.2.1.1 | ✓ Success | view |
| kind2.2.2.0 | ✓ Success | view |
| kind2.2.3.0 | ✓ Success | view |