ci: change existing pipelines to only trigger manually

Author: jaen

.github/workflows/documentation.yml

@@ -1,8 +1,9 @@
 name: Generate documentation
 
 on:
-  push:
-    branches: [ master ]
+  workflow_dispatch: {}
+  # push:
+  #   branches: [ master ]
 
 jobs:
   docs:

.github/workflows/grapheneos-update.yml

@@ -1,6 +1,8 @@
 name: "Update GrapheneOS"
 
-on: { schedule: [{ cron: '0 0 * * 0' }], workflow_dispatch }
+on: 
+  workflow_dispatch: {}
+  # schedule: [{ cron: '0 0 * * 0' }]
 
 jobs:
   updates:

.github/workflows/instantiate.yml

@@ -3,8 +3,10 @@
 
 name: "Basic Tests"
 on:
-  pull_request:
-  push:
+  workflow_dispatch: {}
+  # pull_request:
+  # push:
+
 jobs:
   nix-instantiate:
     runs-on: ubuntu-latest