stop using circleci

homalg-project · Oct 18, 2020 · 9476fab · 9476fab
1 parent 8d5cfe1
commit 9476fab
Showing 1 changed file with 0 additions and 47 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml