docs contributing: mention https://man.sr.ht/builds.sr.ht/build-ssh.md for ssh to CI machines (#17409)
This commit is contained in:
parent
4bfc5a9551
commit
b755060f9c
1 changed files with 5 additions and 1 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue