Closed CarloLucibello closed 3 years ago
shouldn't github ci be triggered already?
Oops, didn't see this earlier, my apologies. It does trigger now though
good
shouldn't github ci be triggered already?