From: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
To: ml@inbox.vuxu.org
Subject: Re: [PR PATCH] [Closed]: New package: purescript-0.14.5
Date: Tue, 21 Jun 2022 04:13:31 +0200 [thread overview]
Message-ID: <20220621021331.sLZMlFJFXwBbAMiAoblSbx0WIh1J62eXq7JSGsixqbc@z> (raw)
In-Reply-To: <gh-mailinglist-notifications-41a7ca26-5023-4802-975b-f1789d68868e-void-packages-34934@inbox.vuxu.org>
[-- Attachment #1: Type: text/plain, Size: 769 bytes --]
There's a closed pull request on the void-packages repository
New package: purescript-0.14.5
https://github.com/void-linux/void-packages/pull/34934
Description:
#### New package
- This new package conforms to the [quality requirements](https://github.com/void-linux/void-packages/blob/master/Manual.md#quality-requirements): **YES**|**NO**
Will test the following:
- [x] x86_64 (native)
- [ ] x86_64-musl
- [ ] aarch64
- [ ] aarch64-musl
<!-- Note: If the build is likely to take more than 2 hours, please [skip CI](https://github.com/void-linux/void-packages/blob/master/CONTRIBUTING.md#continuous-integration)
and test at least one native build and, if supported, at least one cross build.
Ignore this section if this PR is not skipping CI.
-->
prev parent reply other threads:[~2022-06-21 2:13 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-01-08 6:18 [PR PATCH] New Package: purescript-0.14.0 waynevanson
2022-01-08 6:22 ` [PR PATCH] [Updated] New Package: purescript-0.14.5 waynevanson
2022-01-08 7:26 ` [PR PATCH] [Updated] New package: purescript-0.14.5 waynevanson
2022-01-08 8:27 ` waynevanson
2022-04-10 2:05 ` github-actions
2022-06-21 2:13 ` github-actions [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20220621021331.sLZMlFJFXwBbAMiAoblSbx0WIh1J62eXq7JSGsixqbc@z \
--to=ml@inbox.vuxu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).