PR #29314: Add an ocaml.5.4.0 upper bound on fstar.2025.06.20-2025.09.04
By jmid • View on GitHub • Status: MERGED
Test State: COMPLETED
Packages
- fstar.2025.06.20
- fstar.2025.08.07
- fstar.2025.09.04
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| fstar.2025.06.20 | — No solution | view |
| fstar.2025.08.07 | — No solution | view |
| fstar.2025.09.04 | — No solution | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| fstar.2025.06.20 | ✓ Success | view |
| fstar.2025.08.07 | ✓ Success | view |
| fstar.2025.09.04 | ✓ Success | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| fstar.2025.06.20 | ✓ Success | view |
| fstar.2025.08.07 | ✓ Success | view |
| fstar.2025.09.04 | ✓ Success | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| fstar.2025.06.20 | ✓ Success | view |
| fstar.2025.08.07 | ✓ Success | view |
| fstar.2025.09.04 | ✓ Success | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| fstar.2025.06.20 | — No solution | view |
| fstar.2025.08.07 | — No solution | view |
| fstar.2025.09.04 | — No solution | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| fstar.2025.06.20 | ✓ Success | view |
| fstar.2025.08.07 | ✓ Success | view |
| fstar.2025.09.04 | ✓ Success | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| fstar.2025.06.20 | — No solution | view |
| fstar.2025.08.07 | — No solution | view |
| fstar.2025.09.04 | — No solution | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| fstar.2025.06.20 | ✓ Success | view |
| fstar.2025.08.07 | ✓ Success | view |
| fstar.2025.09.04 | ✓ Success | view |