From b755060f9c608292d4fd849cb876166950c4529a Mon Sep 17 00:00:00 2001 From: Timothee Cour Date: Thu, 18 Mar 2021 02:35:08 -0700 Subject: docs contributing: mention https://man.sr.ht/builds.sr.ht/build-ssh.md for ssh to CI machines (#17409) --- doc/contributing.rst | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/contributing.rst b/doc/contributing.rst index ba9c1caf3..b7188a436 100644 --- a/doc/contributing.rst +++ b/doc/contributing.rst @@ -488,7 +488,11 @@ Debugging CI failures, flaky tests, etc If either on you own fork or in Nim repo, it's possible from inside GitHub UI under checks tab, see https://github.com/timotheecour/Nim/issues/211#issuecomment-629751569 * GitHub actions: under "Checks" tab, click "Re-run jobs" in the right. - * builds.sr.ht: create a sourcehut account so you can restart a PR job as illustrated + * builds.sr.ht: create a sourcehut account so you can restart a PR job as illustrated. + builds.sr.ht also allows you to ssh to a CI machine which can help a lot for debugging + issues, see docs in https://man.sr.ht/builds.sr.ht/build-ssh.md and + https://drewdevault.com/2019/08/19/Introducing-shell-access-for-builds.html; see + https://man.sr.ht/tutorials/set-up-account-and-git.md to generate and upload ssh keys. Code reviews -- cgit 1.4.1-2-gfad0