diff options
| author | Erik Martin-Dorel | 2020-12-06 15:00:10 +0100 |
|---|---|---|
| committer | GitHub | 2020-12-06 15:00:10 +0100 |
| commit | ccb37e8026e208825c10f4d5ce64378430e5f7a3 (patch) | |
| tree | 4b7632d76ae0682758673e90a28a7ca052c505a1 /ci | |
| parent | 702f5b90ce36e17493fbd5390db7c35097ae8149 (diff) | |
| parent | fafe6bdea4188db78857058b571282948314b2de (diff) | |
Merge pull request #530 from ProofGeneral/fix-ci
Workaround & Document debbug 34341 (fixed in Emacs 26.3, 27.1)
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/init-tests.el | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/ci/init-tests.el b/ci/init-tests.el index 6b0f4439..ade70cce 100644 --- a/ci/init-tests.el +++ b/ci/init-tests.el @@ -9,11 +9,8 @@ ;; Setup MELPA (require 'package) -(let* ((no-ssl (and (memq system-type '(windows-nt ms-dos)) - (not (gnutls-available-p)))) - (proto (if no-ssl "http" "https"))) - (add-to-list 'package-archives - (cons "melpa" (concat proto "://melpa.org/packages/")) t)) +(setq gnutls-algorithm-priority "NORMAL:-VERS-TLS1.3") +(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t) (package-initialize) ;; Optionally: bootstrap use-package for declarative package specs |