From f03437b61c0c2ff22b54937cbb0b5531f3e5c981 Mon Sep 17 00:00:00 2001
From: Shuhei Ohno <ohno.github@gmail.com>
Date: Tue, 14 Nov 2023 05:37:57 +0900
Subject: [PATCH] Change documentation build workflow

---
 .github/workflows/documentation.yml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index e12b39d..b50c744 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -1,6 +1,16 @@
-# https://documenter.juliadocs.org/stable/man/hosting/#GitHub-Actions
-
 name: Documentation
+on:
+  push:
+    branches:
+      - main
+    tags: ['*']
+  pull_request:
+concurrency:
+  # Skip intermediate builds: always.
+  # Cancel intermediate builds: only if it is a pull request build.
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+jobs:
   docs:
     name: Documentation
     runs-on: ubuntu-latest