[js] Place conversion functions on their own file. #2960
ejgallegobuild.yml
on: push
Web Worker Build
9m 36s
Opam dev install
8m 53s
client-compile
14s
Nix Flake Check
49s
Matrix: Nix
Matrix: build
Annotations
1 error
|
Nix Flake Check
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
coq-lsp_worker and front-end
Expired
|
36.6 MB |
|