Remove CircleCI, as we are using GitHub Workflows now

nemtrif · Nov 24, 2023 · a645095 · a645095
1 parent fdca3c9
commit a645095
Showing 1 changed file with 0 additions and 13 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml