Skip to content

Commit

Permalink
[REVERTME] disable unrelated CI
Browse files Browse the repository at this point in the history
  • Loading branch information
pmeier committed May 24, 2023
1 parent 334b4e5 commit 48b25c2
Show file tree
Hide file tree
Showing 41 changed files with 2 additions and 2,403 deletions.
1 change: 0 additions & 1 deletion .circleci/.gitignore

This file was deleted.

35 changes: 0 additions & 35 deletions .circleci/build_docs/commit_docs.sh

This file was deleted.

271 changes: 0 additions & 271 deletions .circleci/config.yml

This file was deleted.

Loading

0 comments on commit 48b25c2

Please sign in to comment.