PR #29442: Rocq 9.1.1
By silene • View on GitHub
Test State: COMPLETED
Packages
- coq-core.9.1.1
- coq.9.1.1
- coqide-server.9.1.1
- rocq-core.9.1.1
- rocq-devtools.9.1.1
- rocq-runtime.9.1.1
- rocqide.9.1.1
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| coq-core.9.1.1 | — | view |
| coq.9.1.1 | — | view |
| coqide-server.9.1.1 | — | view |
| rocq-core.9.1.1 | — | view |
| rocq-devtools.9.1.1 | — | view |
| rocq-runtime.9.1.1 | — | view |
| rocqide.9.1.1 | — | view |