Skip to content

🔥 删除 jetty

🔥 删除 jetty #24

Workflow file for this run

# Original Author -> Harry Yang ([email protected]) https://taketoday.cn
# Copyright © TODAY & 2017 - 2024 All Rights Reserved.
#
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see [http://www.gnu.org/licenses/]
name: Docs
on:
push:
branches:
- master
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
concurrency:
group: "pages"
cancel-in-progress: false
jobs:
deploy-docs:
if: github.repository_owner == 'TAKETODAY'
runs-on: ubuntu-latest
steps:
- name: Checkout 🛎️
uses: actions/[email protected]
- name: Set up JDK 17 🔧
uses: actions/[email protected]
with:
java-version: 17
distribution: adopt
- name: Setup Gradle 🔧
uses: gradle/[email protected]
- name: Build Docs 🔧
run: ./gradlew -DCI=true --no-daemon --max-workers=4 :infra-docs:antora
- name: Setup Pages
uses: actions/configure-pages@v5
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
name: github-pages
path: "${{ github.workspace }}/infra-docs/build/site"
- name: Deploy to GitHub Pages 🚀
id: deployment
uses: actions/deploy-pages@v4