guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 46ddd9d6447db3d8004c4010e7d3b0fa8f6f01c6
Author: Liliana Marie Prikler <[email protected]>
AuthorDate: Thu Mar 13 20:42:56 2025 +0100
gnu: emacs-company-coq: Skip tests.
* gnu/packages/emacs-xyz.scm (emacs-company-coq)[arguments]: Add #:tests?
#f.
---
gnu/packages/emacs-xyz.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm
index 7d82981c89..7cdc6096c5 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -11472,6 +11472,7 @@ completion candidate when using the Company text
completion framework.")
(inputs
(list emacs-company emacs-company-math emacs-dash emacs-yasnippet))
(build-system emacs-build-system)
+ (arguments (list #:tests? #f)) ; no tests
(home-page "https://github.com/cpitclaudel/company-coq";)
(synopsis "Emacs extensions for Proof General's Coq mode")
(description "This package includes a collection of Company mode backends
