Update dev-tools.md: add manually triggering CI (#58)

godot-rust · Nov 7, 2024 · 0aae7bf · 0aae7bf
1 parent 887dc2e
commit 0aae7bf
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/src/contribute/dev-tools.md b/src/contribute/dev-tools.md
@@ -124,6 +124,20 @@ cargo fmt
 
 If you want to have the full CI experience, you can experiment as much as you like on your own gdext fork, before submitting a pull request.
 
+
+### Manually trigger a CI run
+
+For one-off CI runs you can manually trigger it by enabling Actions in the project settings of your fork,
+then going to the `Actions` tab in the project, selecting the `Full CI` workflow,
+clicking on `Run Workflow` and selecting the branch you're working on:
+
+![image](./images/manually_trigger_ci_workflow.png)
+
+
+### Trigger CI on push
+
+If you're working on a bigger feature, you might not want to have to trigger CI manually every time.
+
 For this, navigate to the file `.github/workflows/full-ci.yml` and change the following lines:
 
 ```yml

diff --git a/src/contribute/images/manually_trigger_ci_workflow.png b/src/contribute/images/manually_trigger_ci_workflow.png