# ==================================================================================================================== # # Authors: # # Patrick Lehmann # # Unai Martinez-Corral # # # # ==================================================================================================================== # # Copyright 2020-2023 The pyTooling Authors # # # # Licensed under the Apache License, Version 2.0 (the "License"); # # you may not use this file except in compliance with the License. # # You may obtain a copy of the License at # # # # http://www.apache.org/licenses/LICENSE-2.0 # # # # Unless required by applicable law or agreed to in writing, software # # distributed under the License is distributed on an "AS IS" BASIS, # # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. # # See the License for the specific language governing permissions and # # limitations under the License. # # # # SPDX-License-Identifier: Apache-2.0 # # ==================================================================================================================== # name: Publish to GitHub Pages on: workflow_call: inputs: doc: description: 'Name of the documentation artifact.' required: true type: string coverage: description: 'Name of the coverage artifact.' required: false default: '' type: string typing: description: 'Name of the typing artifact.' required: false default: '' type: string jobs: PublishToGitHubPages: name: 📚 Publish to GH-Pages runs-on: ubuntu-latest steps: - name: ⏬ Checkout repository uses: actions/checkout@v4 - name: 📥 Download artifacts '${{ inputs.doc }}' from 'BuildTheDocs' job uses: actions/download-artifact@v3 with: name: ${{ inputs.doc }} path: public - name: 📥 Download artifacts '${{ inputs.coverage }}' from 'Coverage' job if: ${{ inputs.coverage != '' }} uses: actions/download-artifact@v3 with: name: ${{ inputs.coverage }} path: public/coverage - name: 📥 Download artifacts '${{ inputs.typing }}' from 'StaticTypeCheck' job if: ${{ inputs.typing != '' }} uses: actions/download-artifact@v3 with: name: ${{ inputs.typing }} path: public/typing - name: '📓 Publish site to GitHub Pages' if: github.event_name != 'pull_request' run: | cd public touch .nojekyll git init cp ../.git/config ./.git/config git add . git config --local user.email "BuildTheDocs@GitHubActions" git config --local user.name "GitHub Actions" git commit -a -m "update ${{ github.sha }}" git push -u origin +HEAD:gh-pages