PR #28975: 2 packages from rocq-prover/vsrocq at 2.3.4
By vscoqbot • View on GitHub • Status: MERGED • Labels: question, needs reporter action
Test State: COMPLETED
Packages
- vscoq-language-server.2.3.4
- vsrocq-language-server.2.3.4
Build Jobs
debian 13 - OCaml 5.4.0
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |
debian 13 - OCaml 5.3.0
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |
debian 13 - OCaml 5.2.1
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |
debian 13 - OCaml 4.14.2
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |
ubuntu 24.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |
ubuntu 24.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |
ubuntu 22.04 - OCaml 5.4.0
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |
ubuntu 22.04 - OCaml 4.14.2
| Package | Status | Log |
|---|
| vscoq-language-server.2.3.4 | ✓ Success | view |
| vsrocq-language-server.2.3.4 | ✓ Success | view |