Skip to content

Revert "Manually fetch the submodules in github CI."#87

Closed
pattivacek wants to merge 1 commit intomasterfrom undo-submodule-workaround
+9-9

Commits

Commits on Aug 9, 2022