Closed sshine closed 5 years ago
Seen in a recent CI run:
----------------------------------------------------------------
running tests for: palindrome-products
The jbuilder binary is deprecated and will cease to be maintained in July 2019.
Please switch to dune instead.
The jbuilder binary is deprecated and will cease to be maintained in July 2019.
Please switch to dune instead.
File "jbuild", line 1, characters 0-0:
Warning: jbuild files are deprecated, please convert this file to a dune file instead.
Note: You can use "dune upgrade" to convert your project to dune.
test alias runtest
............
Ran: 12 tests in: 0.00 seconds.
OK
In issue #265 / PR #271, @sbl did a heroic job at migrating from JBuilder to Dune, but it seems that a few references are still kept:
In particular, our documentation says that we use
jbuilder
when we don't.Since the "Second stage of the Jbuilder deprecation" was reached this January, 2019, let's finish the work of #271 eradicate references to JBuilder as good as we can.