Update dev-tools.md: whitespace

godot-rust · Nov 6, 2024 · a2c15fa · a2c15fa
1 parent 71e90a4
commit a2c15fa
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/contribute/dev-tools.md b/src/contribute/dev-tools.md
@@ -124,14 +124,15 @@ 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:
+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](https://github.com/user-attachments/assets/93903ac6-1172-483e-aec1-3a861087b4b0)
 
 
-
 ### Trigger CI on push
 
 If you're working on a bigger feature, you might not want to have to trigger CI manually every time.