Skip to content

Fix buildscripts

Lennard Gäher requested to merge ci/fix-build into main

The move of the lithium folder to the refinedrust package had some unintended side-effects which broke the buildscripts for clients of RefinedRust. This finishes removing the coq-lithium package.

Merge request reports