Author | SHA1 Message | Date |
---|---|---|
![]() |
794319067b Clearer comments (#8229) | 6 months ago |
![]() |
b01d000d42 Upload html summary before updating status (#8224) | 6 months ago |
![]() |
f5de6170b3 ci: don't override old PR build status comment on every build (#1284) | 1 year ago |
![]() |
610b3da211 Avoid failure of pr_comment procedure when called outside PR context, e.g. in the Postcommit checks (#1172) | 1 year ago |
![]() |
bcf764f1aa ci: add more details to PR comment about build and tests (#1054) | 1 year ago |