From ac95c3cb57c42e4ef5b843e45336ffc2fe37095e Mon Sep 17 00:00:00 2001 From: Ivan Ogasawara Date: Fri, 7 Aug 2026 22:23:11 +0000 Subject: [PATCH 1/2] ci: add multidispatch --- .github/workflows/main.yaml | 3 ++- l-web | 21 +++++++++++++++++++++ 2 files changed, 23 insertions(+), 1 deletion(-) create mode 100644 l-web diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index b03dc56b..733f0abb 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -1,6 +1,7 @@ name: main on: + workflow_dispatch: push: branches: [main] pull_request: @@ -75,7 +76,7 @@ jobs: # Push the book's HTML to github-pages - name: GitHub Pages action uses: peaceiris/actions-gh-pages@v3.5.9 - if: ${{ github.event_name == 'push' }} + if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }} with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./build diff --git a/l-web b/l-web new file mode 100644 index 00000000..dba8b613 --- /dev/null +++ b/l-web @@ -0,0 +1,21 @@ +diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml +index b03dc56b..733f0abb 100644 +--- a/.github/workflows/main.yaml ++++ b/.github/workflows/main.yaml +@@ -1,6 +1,7 @@ + name: main +  + on: ++ workflow_dispatch: + push: + branches: [main] + pull_request: +@@ -75,7 +76,7 @@ jobs: + # Push the book's HTML to github-pages + - name: GitHub Pages action + uses: peaceiris/actions-gh-pages@v3.5.9 +- if: ${{ github.event_name == 'push' }} ++ if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }} + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./build From 0b167e6d74a0e090f6e05515ffdd8fd84195be94 Mon Sep 17 00:00:00 2001 From: Ivan Ogasawara Date: Fri, 7 Aug 2026 22:24:32 +0000 Subject: [PATCH 2/2] remove temp file --- l-web | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 l-web diff --git a/l-web b/l-web deleted file mode 100644 index dba8b613..00000000 --- a/l-web +++ /dev/null @@ -1,21 +0,0 @@ -diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml -index b03dc56b..733f0abb 100644 ---- a/.github/workflows/main.yaml -+++ b/.github/workflows/main.yaml -@@ -1,6 +1,7 @@ - name: main -  - on: -+ workflow_dispatch: - push: - branches: [main] - pull_request: -@@ -75,7 +76,7 @@ jobs: - # Push the book's HTML to github-pages - - name: GitHub Pages action - uses: peaceiris/actions-gh-pages@v3.5.9 -- if: ${{ github.event_name == 'push' }} -+ if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }} - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./build