2024-03-01 08:25:04 +09:00
|
|
|
comment: false # Do not leave PR comments
|
2023-11-15 18:20:24 +09:00
|
|
|
coverage:
|
|
|
|
|
status:
|
|
|
|
|
project:
|
|
|
|
|
default:
|
2024-06-08 19:32:39 +09:00
|
|
|
# GitHub status check is not blocking
|
2023-11-15 18:20:24 +09:00
|
|
|
informational: true
|
|
|
|
|
patch:
|
|
|
|
|
default:
|
2024-06-08 19:32:39 +09:00
|
|
|
# GitHub status check is not blocking
|
2023-11-15 18:20:24 +09:00
|
|
|
informational: true
|
2024-09-10 23:00:23 +09:00
|
|
|
github_checks:
|
|
|
|
|
annotations: false
|
