1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #18905 from kaspar030/drop_murdock_note

CI: drop obsolete murdock note
This commit is contained in:
Kaspar Schleiser 2022-11-14 14:32:12 +01:00 committed by GitHub
commit 02b6f60bc1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,9 +10,6 @@ pr:
comment_artifacts:
- name: doc-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:
skip_keywords: ["ci_skip", "murdock_skip"]