Re: Heads Up: cirrus-ci is shutting down June 1st

От

Peter Eisentraut

Тема

Дата

2 июня в 21:08:17

Msg-id

3b1b268f-b6ba-453c-b010-784634425d33@eisentraut.org

обсуждение

Ответ на

Re: Heads Up: cirrus-ci is shutting down June 1st (Andres Freund)

Список

pgsql-hackers

Дерево обсуждения

Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 9 апреля в 23:55:14

Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org> 10 апреля в 16:05:27

Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com> 10 апреля в 02:29:45

Re: Heads Up: cirrus-ci is shutting down June 1st David Steele <david@pgbackrest.org> 13 апреля в 14:53:39

Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com> 14 апреля в 03:57:27

Re: Heads Up: cirrus-ci is shutting down June 1st Robert Haas <robertmhaas@gmail.com> 17 апреля в 21:50:53

Re: Heads Up: cirrus-ci is shutting down June 1st Michael Paquier <michael@paquier.xyz> 18 апреля в 00:41:42

Re: Heads Up: cirrus-ci is shutting down June 1st Tom Lane <tgl@sss.pgh.pa.us> 18 апреля в 00:48:04

Re: Heads Up: cirrus-ci is shutting down June 1st "Euler Taveira" <euler@eulerto.com> 18 апреля в 05:19:24

Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl> 10 апреля в 14:31:38

Re: Heads Up: cirrus-ci is shutting down June 1st Bruce Momjian <bruce@momjian.us> 10 апреля в 16:27:47

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 10 апреля в 14:51:24

Re: Heads Up: cirrus-ci is shutting down June 1st Alexander Korotkov <aekorotkov@gmail.com> 10 апреля в 15:23:16

Re: Heads Up: cirrus-ci is shutting down June 1st Alexander Korotkov <aekorotkov@gmail.com> 10 апреля в 15:24:10

Re: Heads Up: cirrus-ci is shutting down June 1st "Jelte Fennema-Nio" <postgres@jeltef.nl> 19 мая в 00:22:12

Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com> 27 мая в 06:54:19

Re: Heads Up: cirrus-ci is shutting down June 1st Thomas Munro <thomas.munro@gmail.com> 2 июня в 14:59:35

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 19 мая в 01:27:52

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 25 мая в 15:14:41

Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org> 28 мая в 14:49:10

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 28 мая в 20:08:39

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 2 июня в 18:57:34

Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org> 2 июня в 21:08:53

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 28 мая в 19:19:15

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 27 мая в 21:10:46

Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl> 27 мая в 23:33:30

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 28 мая в 20:06:22

Re: Heads Up: cirrus-ci is shutting down June 1st Álvaro Herrera <alvherre@kurilemu.de> 28 мая в 21:11:45

Re: Heads Up: cirrus-ci is shutting down June 1st Álvaro Herrera <alvherre@kurilemu.de> 28 мая в 21:42:41

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 28 мая в 22:42:13

Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com> 28 мая в 23:50:26

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 29 мая в 12:51:29

Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org> 30 мая в 23:51:16

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 31 мая в 09:43:03

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 31 мая в 04:42:35

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 31 мая в 09:44:09

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 2 июня в 00:57:15

Re: Heads Up: cirrus-ci is shutting down June 1st Peter Eisentraut <peter@eisentraut.org> 2 июня в 21:08:17

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 2 июня в 21:43:31

Re: Heads Up: cirrus-ci is shutting down June 1st Daniel Gustafsson <daniel@yesql.se> 2 июня в 22:12:16

Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl> 2 июня в 22:06:39

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 3 июня в 18:20:00

Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com> 3 июня в 21:12:43

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 3 июня в 22:56:59

Re: Heads Up: cirrus-ci is shutting down June 1st Jakub Wartak <jakub.wartak@enterprisedb.com> 2 июня в 13:13:09

Re: Heads Up: cirrus-ci is shutting down June 1st Nazir Bilal Yavuz <byavuz81@gmail.com> 2 июня в 15:19:02

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 11 июня в 02:26:26

Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com> 11 июня в 02:42:22

Re: Heads Up: cirrus-ci is shutting down June 1st Jelte Fennema-Nio <postgres@jeltef.nl> 11 июня в 09:44:07

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 11 июня в 16:09:34

Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com> 11 июня в 19:08:49

Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com> 28 мая в 01:15:46

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 28 мая в 18:07:22

Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com> 28 мая в 18:51:09

Re: Heads Up: cirrus-ci is shutting down June 1st Andres Freund <andres@anarazel.de> 28 мая в 19:13:07

Re: Heads Up: cirrus-ci is shutting down June 1st Jacob Champion <jacob.champion@enterprisedb.com> 28 мая в 20:04:51

Re: Heads Up: cirrus-ci is shutting down June 1st Heikki Linnakangas <hlinnaka@iki.fi> 13 апреля в 11:34:44

Re: Heads Up: cirrus-ci is shutting down June 1st "David E. Wheeler" <david@justatheory.com> 13 апреля в 17:34:15

On 01.06.26 23:57, Andres Freund wrote:
> Attached is an large incremental patch onto Bilal's version:

This looks good to me.

(I suppose the 0005 patch was just for testing.  The 0004 patch looks ok 
but could use some explanation in both the commit message and the code.)

+  # FIXME: Should we also run on PRs?

I don't know why we would, since we don't use them.

В списке pgsql-hackers по дате отправления

Предыдущее

От: Ilmar Yunusov

Дата: 2 июня в 20:54:09

Сообщение: Re: generic plans and "initial" pruning

Следующее

От: Peter Eisentraut

Дата: 2 июня в 21:08:53

Сообщение: Re: Heads Up: cirrus-ci is shutting down June 1st