PR #28935: [new release] flint (0.4.2)
By bobot • View on GitHub • Status: MERGED • Labels: consider for merge
Test State: COMPLETED
Packages
- antic.0.4.1
- arb.0.4.1
- calcium.0.4.1
- flint.0.4.1
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| antic.0.4.1 | ✓ Success | view |
| arb.0.4.1 | ✓ Success | view |
| calcium.0.4.1 | ✓ Success | view |
| flint.0.4.1 | ✓ Success | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| antic.0.4.1 | ✓ Success | view |
| arb.0.4.1 | ✓ Success | view |
| calcium.0.4.1 | ✓ Success | view |
| flint.0.4.1 | ✓ Success | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| antic.0.4.1 | ✓ Success | view |
| arb.0.4.1 | ✓ Success | view |
| calcium.0.4.1 | ✓ Success | view |
| flint.0.4.1 | ✓ Success | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| antic.0.4.1 | ✓ Success | view |
| arb.0.4.1 | ✓ Success | view |
| calcium.0.4.1 | ✓ Success | view |
| flint.0.4.1 | ✓ Success | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| antic.0.4.1 | ✓ Success | view |
| arb.0.4.1 | ✓ Success | view |
| calcium.0.4.1 | ✓ Success | view |
| flint.0.4.1 | ✓ Success | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| antic.0.4.1 | ✓ Success | view |
| arb.0.4.1 | ✓ Success | view |
| calcium.0.4.1 | ✓ Success | view |
| flint.0.4.1 | ✓ Success | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| antic.0.4.1 | — No solution | view |
| arb.0.4.1 | — No solution | view |
| calcium.0.4.1 | — No solution | view |
| flint.0.4.1 | — No solution | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| antic.0.4.1 | — No solution | view |
| arb.0.4.1 | — No solution | view |
| calcium.0.4.1 | — No solution | view |
| flint.0.4.1 | — No solution | view |