Skip to content
Github CI

[js] [coq] Fix JS patch for Coq 8.17 #3189

Sign in to view logs

[js] [coq] Fix JS patch for Coq 8.17

[js] [coq] Fix JS patch for Coq 8.17 #3189

Triggered via push February 27, 2025 14:38
@ejgallegoejgallego
pushed 45e1404
v8.17
Status Success
Total duration 13m 4s
Artifacts 1

build.yml

on: push
Web Worker Build
12m 21s
Web Worker Build
Opam Install
6m 35s
Opam Install
client-compile
12s
client-compile
Nix Flake Check
51s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coq-lsp_worker and front-end
42.4 MB