From: Dariqq <dariqq@posteo.net>
To: Simon Tournier <zimon.toutoune@gmail.com>, 74225@debbugs.gnu.org
Cc: "Christopher Baines" <guix@cbaines.net>,
"Josselin Poiret" <dev@jpoiret.xyz>,
"Tobias Geerinckx-Rice" <me@tobias.gr>,
"Ludovic Courtès" <ludo@gnu.org>,
"Mathieu Othacehe" <othacehe@gnu.org>
Subject: [bug#74225] [PATCH] lint: Check for more types of custom 'check phases.
Date: Tue, 19 Nov 2024 14:32:33 +0000 [thread overview]
Message-ID: <f9a93a7a-f906-4b62-8213-996c56e1085c@posteo.net> (raw)
In-Reply-To: <87ed3bbnz9.fsf@gmail.com>
Hi Simon,
On 16.11.24 09:07, Simon Tournier wrote:
> Hi,
>
> On Wed, 06 Nov 2024 at 10:46, Dariqq <dariqq@posteo.net> wrote:
>
>> diff --git a/guix/lint.scm b/guix/lint.scm
>> index 8c6c20c723..4ba728da33 100644
>> --- a/guix/lint.scm
>> +++ b/guix/lint.scm
>> @@ -1433,6 +1433,10 @@ (define (check-optional-tests package)
>> (match delta
>> (`(replace 'check ,expression)
>> (check-check-procedure expression))
>> + (`(add-after ,_ 'check ,expression)
>> + (check-check-procedure expression))
>> + (`(add-before ,_ 'check ,expression)
>> + (check-check-procedure expression))
>
> Please note that 'check here is up to packagers. They might pick the
> symbol 'tests or 'run-check or 'adjusted-tests or 'custom-tests or
> whatever else. To my knowledge, there is no real convention.
>
Of course this is not perfect because the name of the phase to run the
tests is arbitrary but this (simple) change catches this problem in 38
packages currently in guix (and 'check seems to be convention in guix)
This came out of a frustration with failing tests in u-boot-tools which
implements a custom 'check phase after 'install which before
e6ec657c497cdfe9130b7bf5bdfb717a823bf02b were unskipable but passed the
lint check.
> Well, I do not know.
>
> Cheers,
> simon
Dariqq
prev parent reply other threads:[~2024-11-19 14:33 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-11-06 10:46 [bug#74225] [PATCH] lint: Check for more types of custom 'check phases Dariqq
2024-11-16 8:07 ` Simon Tournier
2024-11-19 14:32 ` Dariqq [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=f9a93a7a-f906-4b62-8213-996c56e1085c@posteo.net \
--to=dariqq@posteo.net \
--cc=74225@debbugs.gnu.org \
--cc=dev@jpoiret.xyz \
--cc=guix@cbaines.net \
--cc=ludo@gnu.org \
--cc=me@tobias.gr \
--cc=othacehe@gnu.org \
--cc=zimon.toutoune@gmail.com \
/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.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.