Skip to content

[js worker] Update js_of_ocaml to 5.9.1 and Coq -> Roqc / stdlib split - #881

Merged
ejgallego merged 4 commits into
mainfrom
update_jsoo
Dec 6, 2024
Merged

[js worker] Update js_of_ocaml to 5.9.1 and Coq -> Roqc / stdlib split#881
ejgallego merged 4 commits into
mainfrom
update_jsoo

[js worker] Fix build for Coq -> Rocq renaming

2ad54c2
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs