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 09:35:02 +0000 (11:35 +0200)
commit12adb901ddf6416b8f5888ff898bdff8efa59b7b
treeccb4e025aa72fa50d5cd3912691256bd31d7eb53
parentea65457f1fcc335f849c1dd2fc5d8d5ea6fe5ead
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]>
(cherry picked from commit 26c101edc3e918be4fbfe76b3514d1c8398f7d31)
.circleci/Dockerfile [deleted file]
.circleci/README [deleted file]
.circleci/config.yml [deleted file]