2022-05-10 12:53:18 +02:00
|
|
|
push:
|
|
|
|
|
branches:
|
2022-09-29 08:52:31 +02:00
|
|
|
# these two enable potential bors support:
|
2022-05-10 12:53:18 +02:00
|
|
|
- staging
|
2022-09-29 08:52:31 +02:00
|
|
|
- trying
|
2022-05-10 12:53:18 +02:00
|
|
|
|
|
|
|
|
pr:
|
|
|
|
|
enable_comments: true
|
|
|
|
|
sticky_comment: true
|
2022-09-29 10:38:16 +02:00
|
|
|
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.**
|
2022-05-10 12:53:18 +02:00
|
|
|
|
|
|
|
|
commit:
|
|
|
|
|
skip_keywords: ["ci_skip", "murdock_skip"]
|
|
|
|
|
|
|
|
|
|
artifacts:
|
|
|
|
|
- output.txt
|
|
|
|
|
- doc-preview/
|
