Commit a2f761e
committed
Remove CircleCI workflow
We have an equivalent GitHub Actions workflow. Using only one may simplify maintenance.1 parent c211b10 commit a2f761e
2 files changed
Lines changed: 0 additions & 52 deletions
This file was deleted.
This file was deleted.
0 commit comments