Skip to content

[petanque] Allow clients to set file contents #2903

[petanque] Allow clients to set file contents

[petanque] Allow clients to set file contents #2903

build (ubuntu-latest, 5.2.x)

succeeded Sep 28, 2024 in 6m 19s
Set up job
1s
🔭 Checkout code
5s
🐫 Setup OCaml
3m 14s
🐫🐪🐫 Get dependencies
1m 14s
🐛 Special Windows Config [only on Win CI]
0s
🧱 Build coq-lsp
1m 4s
🐛 Test coq-lsp
11s
🐛 Test fcc
15s
Post 🐫 Setup OCaml
8s
Post 🔭 Checkout code
0s
Complete job
0s