summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDariqq <dariqq@posteo.net>2024-11-06 10:46:48 +0000
committerLudovic Courtès <ludo@gnu.org>2024-12-18 13:22:47 +0100
commitf0aa6c45b6ef15a79be3320fb3df9ac83418634d (patch)
tree426412a316eb452ccb14b24f91ebe1b02d947cbb
parent66b807fddc664555c366c8b83755ca8e6d4bf209 (diff)
lint: Check for more types of custom 'check phases.
* guix/lint.scm (check-optional-tests): Also check for add-before and add-after when adding custom 'check phases. Change-Id: Idc959f90d7e9aa9d5001f34e00f88b41aa20fb2a Signed-off-by: Ludovic Courtès <ludo@gnu.org>
-rw-r--r--guix/lint.scm4
1 files changed, 4 insertions, 0 deletions
diff --git a/guix/lint.scm b/guix/lint.scm
index 059ee6894dd..59607fbfddd 100644
--- a/guix/lint.scm
+++ b/guix/lint.scm
@@ -1457,6 +1457,10 @@ password, provided REF's URI is HTTP or HTTPS."
(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))
(_ '())))
(define (check-phases-deltas deltas)
(append-map check-phases-delta deltas))