Closed pan closed 1 year ago
This workflow will work once another pull request is merged. See here for what a success run looks like.
I'm going to move CI to use CircleCI, so I'm closing this out.
This workflow will work once another pull request is merged. See here for what a success run looks like.