change: GitHub Actions trigger from push to release

peaceiris · Apr 25, 2019 · 525f774 · 525f774
1 parent fca376f
commit 525f774
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/main.workflow b/.github/main.workflow
@@ -1,5 +1,5 @@
 workflow "Main workflow" {
-  on = "push"
+  on = "release"
   resolves = ["Build and deploy with MkDocs"]
 }
 

diff --git a/docs/hosting-and-deployment/github-pages.md b/docs/hosting-and-deployment/github-pages.md
@@ -24,9 +24,9 @@
     └── entrypoint.sh
 ```
 
-### (3) Push commit
+### (3) Update releases
 
-When you push commits, GitHub Actions runs.
+Triggered when a release is `published`, `unpublished`, `created`, `edited`, `deleted`, or `prereleased`.