[REVERTME] deactivate other CI

pmeier · Dec 13, 2022 · c931ff2 · c931ff2
1 parent 8a04e2b
commit c931ff2
Show file tree

Hide file tree

Showing 37 changed files with 0 additions and 5,073 deletions.
diff --git a/.circleci/.gitignore b/.circleci/.gitignore
diff --git a/.circleci/build_docs/commit_docs.sh b/.circleci/build_docs/commit_docs.sh