Closed marten-seemann closed 4 years ago
This is so much cleaner than the CircleCI config we had.
Note to myself: disable CircleCI before merging this PR.
This is so much cleaner than the CircleCI config we had.
Note to myself: disable CircleCI before merging this PR.