1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-17 05:32:45 +01:00

.circleci: remove directory

This removes building our doc at CircleCI. The doc is now build by the
new Murdock instance.
This commit is contained in:
Martine Lenders 2022-09-30 10:18:12 +02:00
parent 3b7c1254d3
commit d755f07d1c
No known key found for this signature in database
GPG Key ID: 2134D77A5336DD80

View File

@ -1,25 +0,0 @@
# CircleCI configuration file used to build and get a preview of the generated
# Doxygen documentation.
# Note that the job on CircleCI takes around 30 minutes to complete because
# copying +19k individual files to their cloud storage is very slow.
version: 2
jobs:
doc-build:
docker:
- image: riot/static-test-tools
steps:
- checkout
- run: make doc
- run:
command: |
cp -R doc/doxygen/html /doc
- store_artifacts:
path: /doc
workflows:
version: 2
doc-build:
jobs:
- doc-build