Closed fangerer closed 1 year ago
A small fixup to #427 . I changed the workflows several times and in the end overlooked to remove something.
+1
sorry for rushing this; it was just a very small and low-risk change
A small fixup to #427 . I changed the workflows several times and in the end overlooked to remove something.