PR #29124: [new release] sail (13 packages) (0.20.1)
By Alasdair • View on GitHub • Status: MERGED
Test State: COMPLETED
Packages
- libsail.0.20.1
- sail.0.20.1
- sail_c_backend.0.20.1
- sail_coq_backend.0.20.1
- sail_doc_backend.0.20.1
- sail_latex_backend.0.20.1
- sail_lean_backend.0.20.1
- sail_lem_backend.0.20.1
- sail_maker.0.20.1
- sail_ocaml_backend.0.20.1
- sail_output.0.20.1
- sail_smt_backend.0.20.1
- sail_sv_backend.0.20.1
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| libsail.0.20.1 | ✓ Success | view |
| sail.0.20.1 | ✓ Success | view |
| sail_c_backend.0.20.1 | ✓ Success | view |
| sail_coq_backend.0.20.1 | ✓ Success | view |
| sail_doc_backend.0.20.1 | ✓ Success | view |
| sail_latex_backend.0.20.1 | ✓ Success | view |
| sail_lean_backend.0.20.1 | ✓ Success | view |
| sail_lem_backend.0.20.1 | ✓ Success | view |
| sail_maker.0.20.1 | ✓ Success | view |
| sail_ocaml_backend.0.20.1 | ✓ Success | view |
| sail_output.0.20.1 | ✓ Success | view |
| sail_smt_backend.0.20.1 | ✓ Success | view |
| sail_sv_backend.0.20.1 | ✓ Success | view |