Skip to content
Github CI

[js] [coq] Fix JS patch for Coq 8.19 #3192

Sign in to view logs

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

[js] [coq] Fix JS patch for Coq 8.19 #3192

Triggered via push February 27, 2025 15:03
@ejgallegoejgallego
pushed 29e79ad
v8.19
Status Success
Total duration 14m 52s
Artifacts 1

build.yml

on: push
Web Worker Build
11m 57s
Web Worker Build
Opam Install
6m 23s
Opam Install
client-compile
13s
client-compile
Nix Flake Check
50s
Nix Flake Check
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

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