CI: remove CircleCI for now
authorPaul Spooren <[email protected]>
Sat, 10 Oct 2020 01:31:01 +0000 (15:31 -1000)
committerJosef Schlehofer <[email protected]>
Fri, 26 Apr 2024 08:44:21 +0000 (10:44 +0200)
commit26c101edc3e918be4fbfe76b3514d1c8398f7d31
tree1dbb9b51a16569c0f8f9784f7ef51111376eb902
parent8b08b29271e9f8d26ce8d337ffb4261ea8a25914
CI: remove CircleCI for now

The GitHub CI offers currenlty more architecture and the Signed-of-by
test is covered via the DOC CI test. In case GitHub ever changes
policies, we can simply switch back.

Signed-off-by: Paul Spooren <[email protected]>
.circleci/Dockerfile [deleted file]
.circleci/README [deleted file]
.circleci/config.yml [deleted file]