mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
CI: drop obsolete murdock note
This commit is contained in:
parent
971a023a4c
commit
0c90586563
@ -10,9 +10,6 @@ pr:
|
|||||||
comment_artifacts:
|
comment_artifacts:
|
||||||
- name: doc-preview/
|
- name: doc-preview/
|
||||||
readable_name: Documentation preview
|
readable_name: Documentation preview
|
||||||
comment_footer: >
|
|
||||||
**This only reflects a subset of all builds from https://ci-prod.riot-os.org.
|
|
||||||
Please refer to https://ci.riot-os.org for a complete build for now.**
|
|
||||||
|
|
||||||
commit:
|
commit:
|
||||||
skip_keywords: ["ci_skip", "murdock_skip"]
|
skip_keywords: ["ci_skip", "murdock_skip"]
|
||||||
|
Loading…
Reference in New Issue
Block a user