On Thu, Sep 21, 2023 at 11:55:03PM +0200, ??? wrote:
> ping :)
yeah sorry, I noticed it just after previous release and thought I
had merged it already. It's done now, thanks!
Willy
ping :)
пт, 8 сент. 2023 г. в 22:57, Ilya Shipitsin :
> previously, if test process crashes (either BUG_ON or segfault), no
> coredump were collected and analysed
> ---
> .cirrus.yml | 7 ++-
> 1 file changed, 6 insertions(+), 1 deletion(-)
>
> diff --git a/.cirrus.yml b/.cirrus.yml
> index
previously, if test process crashes (either BUG_ON or segfault), no
coredump were collected and analysed
---
.cirrus.yml | 7 ++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/.cirrus.yml b/.cirrus.yml
index 2993b943a..4bf3fb672 100644
--- a/.cirrus.yml
+++ b/.cirrus.yml
@@ -6,8
3 matches
Mail list logo