diff options
| author | Erik Martin-Dorel | 2020-12-06 14:34:44 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-12-06 14:35:09 +0100 |
| commit | 7e5605b1c74e8341867a3ffdc205770293cb88a6 (patch) | |
| tree | ce337183269949e5cd89259594cf0d7f46207195 | |
| parent | 702f5b90ce36e17493fbd5390db7c35097ae8149 (diff) | |
fix: Workaround DebBug 34341 (fixed in Emacs 26.3, 27.1)
* This patch should hopefully fix ProofGeneral CI tests.
href: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=34341
href: https://github.com/coq/coq/issues/12088#issuecomment-613522676
| -rw-r--r-- | ci/init-tests.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/init-tests.el b/ci/init-tests.el index 6b0f4439..4f40c295 100644 --- a/ci/init-tests.el +++ b/ci/init-tests.el @@ -9,6 +9,7 @@ ;; Setup MELPA (require 'package) +(setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") (let* ((no-ssl (and (memq system-type '(windows-nt ms-dos)) (not (gnutls-available-p)))) (proto (if no-ssl "http" "https"))) |