You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(lang dune 3.6)
(using mdx 0.3)
1> dune runtest ;; succeeds
2> dune promote
3> dune runtest ;; fails with [mdx] Fatal error: Failure("File "", line 182, characters 52-53:\nParagraph should begin on its own line.")
Attached is transcript. Search for "dune runtest" and see second one fail.
Also attached are pre-promotion and post-promotion versions of the .mli source file.
(lang dune 3.6)
(using mdx 0.3)
1> dune runtest ;; succeeds
2> dune promote
3> dune runtest ;; fails with [mdx] Fatal error: Failure("File "", line 182, characters 52-53:\nParagraph should begin on its own line.")
Attached is transcript. Search for "dune runtest" and see second one fail.
Also attached are pre-promotion and post-promotion versions of the .mli source file.
mdx_session.log
whisk_api.mli_postmdx.txt
whisk_api.mli_orig.txt
The text was updated successfully, but these errors were encountered: