Merge pull request #3126 from input-output-hk/rvl/docs/hydra-ci

docs: Add more info about restarting hydra jobs
cardano-foundation · Feb 11, 2022 · 0ae0c41 · 0ae0c41
2 parents 5f6b240 + 70470fb
commit 0ae0c41
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/docs/contributing/Hydra.md b/docs/contributing/Hydra.md
@@ -64,4 +64,16 @@ failed, until the evaluation succeeds.
 
 ## Restarting builds
 
-Sign in with the [adrestia](https://hydra.iohk.io/dashboard/adrestia) user to restart build jobs.
+:::{.center .px-8}
+![[hydra-restarting-builds.png]]
+:::
+
+After signing in with the [adrestia](https://hydra.iohk.io/dashboard/adrestia) user, you should be able to see the Actions→Restart button on the build job page.
+
+The password for this user is in [Vaultwarden](https://input-output-hk.github.io/adrestia/resources/Passwords).
+
+::: {.gotcha}
+#### Note about bors
+
+If the bors batch has already failed, restarting the failed build in Hydra will have no effect. You will need to submit a new merge job to bors.
+:::
diff --git a/docs/contributing/hydra-restarting-builds.png b/docs/contributing/hydra-restarting-builds.png