2024-02-29 18:25:04 -05:00
|
|
|
comment: false # Do not leave PR comments
|
2023-11-15 04:20:24 -05:00
|
|
|
coverage:
|
|
|
|
|
status:
|
|
|
|
|
project:
|
|
|
|
|
default:
|
|
|
|
|
# Github status check is not blocking
|
|
|
|
|
informational: true
|
|
|
|
|
patch:
|
|
|
|
|
default:
|
|
|
|
|
# Github status check is not blocking
|
|
|
|
|
informational: true
|
