PR #29083: 3 packages from codex-semantics-library/codex
By mlemerre • View on GitHub • Status: CLOSED • Labels: needs reporter action
Test State: COMPLETED
Packages
- binsec_codex.1.0-for-opam
- codex.1.0-rc1
- frama_c_codex.1.0-for-opam
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | — No solution | view |
| codex.1.0-rc1 | — No solution | view |
| frama_c_codex.1.0-for-opam | — No solution | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | ⚠ Dep failed | view |
| codex.1.0-rc1 | ✗ Failure | view |
| frama_c_codex.1.0-for-opam | ⚠ Dep failed | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | ⚠ Dep failed | view |
| codex.1.0-rc1 | ✗ Failure | view |
| frama_c_codex.1.0-for-opam | ⚠ Dep failed | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | ⚠ Dep failed | view |
| codex.1.0-rc1 | ✗ Failure | view |
| frama_c_codex.1.0-for-opam | ⚠ Dep failed | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | — No solution | view |
| codex.1.0-rc1 | — No solution | view |
| frama_c_codex.1.0-for-opam | — No solution | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | ⚠ Dep failed | view |
| codex.1.0-rc1 | ✗ Failure | view |
| frama_c_codex.1.0-for-opam | ⚠ Dep failed | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | — No solution | view |
| codex.1.0-rc1 | — No solution | view |
| frama_c_codex.1.0-for-opam | — No solution | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| binsec_codex.1.0-for-opam | ⚠ Dep failed | view |
| codex.1.0-rc1 | ✗ Failure | view |
| frama_c_codex.1.0-for-opam | ⚠ Dep failed | view |