Skip to content

fix: misc build improvements, removal of opam prefix#196

Open
difcsi wants to merge 2 commits into
stephenrkell:masterfrom
difcsi:fix-build-things
Open

fix: misc build improvements, removal of opam prefix#196
difcsi wants to merge 2 commits into
stephenrkell:masterfrom
difcsi:fix-build-things

feat: move to system opamswitch

c77aa13
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs