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

Merge pull request #18667 from miri64/murdock/enh/footer

.murdock.yml: add footer comment about production stage
This commit is contained in:
Kaspar Schleiser 2022-09-29 14:53:11 +02:00 committed by GitHub
commit 433b2a92b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,6 +7,9 @@ push:
pr:
enable_comments: true
sticky_comment: true
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"]