mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
.circleci: rename job from build to doc-build
This commit is contained in:
parent
1988a34c7b
commit
0875c88706
@ -6,7 +6,7 @@
|
||||
version: 2
|
||||
|
||||
jobs:
|
||||
build:
|
||||
doc-build:
|
||||
docker:
|
||||
- image: riot/riotbuild
|
||||
steps:
|
||||
@ -17,3 +17,9 @@ jobs:
|
||||
cp -R doc/doxygen/html /doc
|
||||
- store_artifacts:
|
||||
path: /doc
|
||||
|
||||
workflows:
|
||||
version: 2
|
||||
doc-build:
|
||||
jobs:
|
||||
- doc-build
|
||||
|
Loading…
Reference in New Issue
Block a user