GitHub: Allow manual develop docs update. · 7de6ae0809 - Gogs

Quellcode durchsuchen

GitHub: Allow manual develop docs update.

Jonatan Antoni vor 4 Jahren

Ursprung

6485da4316

Commit

7de6ae0809

1 geänderte Dateien mit 1 neuen und 0 gelöschten Zeilen

Geteilte Ansicht Diff-Statistik anzeigen

						
							+ 1
							
							- 0
						
.github/workflows/gh-pages.yaml
							 
								Datei anzeigen
							
				@@ -1,5 +1,6 @@
			
				 name: Publish Documentation
			
				 on:
			
				+  workflow_dispatch:
			
				   push:
			
				     branches:
			
				       - develop