New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Adds integers to the opam file. #3

Merged

mrmr1993 merged 1 commit into o1-labs:master from novemberkilo:master

Nov 25, 2022

Contributor

novemberkilo commented Jul 29, 2022 •

edited

Loading

Hi - this project was failing dune build @runtest with

File "test/dune", line 5, characters 12-20:
5 |  (libraries integers integers_stubs_js))
                ^^^^^^^^
Error: Library "integers" not found.

Here is the project building on ocaml-ci --

Prior to the fix: build 3c7d33
With this fix: build db4a1be


          Adds integers to the opam file.

db4a1be

novemberkilo mentioned this pull request

Adds integers_stubs_js & modifies js_of_ocaml. kit-ty-kate/opam-alpha-repository#23

Closed

mrmr1993 approved these changes

View reviewed changes

mrmr1993 merged commit cc2231f into o1-labs:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet