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

Build Jobs

debian 13 - OCaml 5.4.0

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview

debian 13 - OCaml 5.3.0

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview

debian 13 - OCaml 5.2.1

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview

debian 13 - OCaml 4.14.2

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview

ubuntu 24.04 - OCaml 5.4.0

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview

ubuntu 24.04 - OCaml 4.14.2

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview

ubuntu 22.04 - OCaml 5.4.0

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview

ubuntu 22.04 - OCaml 4.14.2

PackageStatusLog
vscoq-language-server.2.3.4✓ Successview
vsrocq-language-server.2.3.4✓ Successview