lilyp pushed a commit to branch emacs-team
in repository guix.
commit a488304e895cba294e4c42d56647bda135d0ec7e
Author: Liliana Marie Prikler <liliana.prik...@gmail.com>
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 12eac56911..6db3e4f5c0 100644
--- a/gnu/packages/emacs-xyz.scm
+++ b/gnu/packages/emacs-xyz.scm
@@ -11271,6 +11271,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
