diff options
| -rw-r--r-- | doc/contributing.rst | 6 |
1 files changed, 5 insertions, 1 deletions
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 |