Manually trigger workflows

Author: fruzyna

.github/workflows/docs.yml

@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 jobs:
   sync:

.github/workflows/gradle.yml

@@ -1,6 +1,8 @@
 name: Robot CI
 
-on: [push]
+on:
+  push:
+  workflow_dispatch:
 
 jobs:
   build:

.github/workflows/public.yml

@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - public
+  workflow_dispatch:
 
 jobs:
   sync: