Closed ZuseZ4 closed 3 months ago
@jedbrown Not sure about the caching you added, but I assume there aren't any reasons to not set up the CI to cancel previous CI runs if we push to a branch?
@jedbrown Not sure about the caching you added, but I assume there aren't any reasons to not set up the CI to cancel previous CI runs if we push to a branch?