Whose Cirrus CI credits are used when making a PR to the GitHub mirror?

From: "Tristan Partin" <tristan(at)neon(dot)tech>
To: "pgsql-hackers" <pgsql-hackers(at)postgresql(dot)org>
Subject: Whose Cirrus CI credits are used when making a PR to the GitHub mirror?
Date: 2023-11-29 17:30:25
Message-ID: CXBH2YLV1D3A.2UHYEKH1XGI7H@neon.tech
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-hackers

I enabled CI on my personal Postgres fork. I then tried to open a PR
against my fork, and since GitHub defaults to creating PRs against
upstream, I accidentally opened a PR against the Postgres mirror, which
the postgres-mirror bot then closed, which is good. Stupid me.

What the bot didn't do however was cancel the Cirrus CI build that arose
from my immediately closed PR. Here[0] is the current run. It seems like
you could very easily waste all the CI credits by creating a whole bunch
of PRs against the mirror.

If I am just wasting my own credits, please ignore :).

[0]: https://cirrus-ci.com/build/6235510532734976

--
Tristan Partin
Neon (https://neon.tech)

Responses

Browse pgsql-hackers by date

  From Date Subject
Next Message Andres Freund 2023-11-29 17:41:11 Re: Whose Cirrus CI credits are used when making a PR to the GitHub mirror?
Previous Message Nathan Bossart 2023-11-29 17:15:26 add AVX2 support to simd.h