From 525f774856e5981f7806025bbfa67e7d004975a2 Mon Sep 17 00:00:00 2001
From: peaceiris <30958501+peaceiris@users.noreply.github.com>
Date: Fri, 26 Apr 2019 03:26:01 +0900
Subject: [PATCH] change: GitHub Actions trigger from push to release

---
 .github/main.workflow                       | 2 +-
 docs/hosting-and-deployment/github-pages.md | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/main.workflow b/.github/main.workflow
index 7690218e..affbedcc 100644
--- 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
index 2729e31b..e43cfed5 100644
--- 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`.