The last commit fixes some typos in the code.
I stopped using the Mdx submodule in Github Actions, the opam pin add -n . command was feeling a bit weird and I'm not sure how Opam's state would evolve over time.
I also removed pinned-mdx.opam, this is an experiment
The last commit fixes some typos in the code. I stopped using the Mdx submodule in Github Actions, the
opam pin add -n .
command was feeling a bit weird and I'm not sure how Opam's state would evolve over time. I also removed pinned-mdx.opam, this is an experiment