added provenance flag to package publish #72
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: publish docs | |
| on: | |
| push: | |
| branches: | |
| - 'main' | |
| tags: | |
| - 'v[0-9]+.[0-9]+.[0-9]+' | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| restore: | |
| concurrency: ci-${{ github.ref }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: checkout "gh-pages" branch | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: gh-pages | |
| - name: create empty index | |
| run: | | |
| if [ ! -f ".nojekyll" ]; then | |
| echo "Prevent GitHub Pages from using Jekyll." > .nojekyll | |
| fi | |
| - name: upload current docs | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| if-no-files-found: error | |
| name: current_documentation | |
| path: . | |
| retention-days: 1 | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: checkout source | |
| uses: actions/checkout@v4 | |
| - uses: actions/setup-node@v4 | |
| with: | |
| cache: 'npm' | |
| node-version: 18 | |
| - run: npm ci --no-fund --no-audit | |
| - name: build documentation, with version | |
| if: github.ref_type == 'tag' | |
| run: npm run docs -- --includeVersion | |
| - name: build documentation, without version | |
| if: github.ref_type != 'tag' | |
| run: npm run docs | |
| - name: upload generated docs | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| if-no-files-found: error | |
| name: generated_documentation | |
| path: docs | |
| retention-days: 1 | |
| publish: | |
| needs: | |
| - build | |
| - restore | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: download current docs | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: current_documentation | |
| path: new_documentation | |
| - name: download new docs | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: generated_documentation | |
| path: generated_documentation | |
| - name: create version directory | |
| if: github.ref_type == 'tag' | |
| run: | | |
| mkdir -p "new_documentation/${{ github.ref_name }}" | |
| echo "<meta http-equiv=\"refresh\" content=\"0; url=${{ github.ref_name }}/\" />" > new_documentation/index.html | |
| if [ ! -d "new_documentation/current" ]; then | |
| mkdir -p "new_documentation/current" | |
| fi | |
| echo "<meta http-equiv=\"refresh\" content=\"0; url=../${{ github.ref_name }}/\" />" > new_documentation/current/index.html | |
| rsync -ac --delete generated_documentation/ "new_documentation/${{ github.ref_name }}" | |
| - name: create development directory | |
| if: github.ref_type != 'tag' | |
| run: | | |
| if [ ! -d "new_documentation/development" ]; then | |
| mkdir -p "new_documentation/development" | |
| fi | |
| if [ ! -f "new_documentation/index.html" ]; then | |
| echo "<meta http-equiv=\"refresh\" content=\"0; url=development/\" />" > new_documentation/index.html | |
| fi | |
| rsync -ac --delete generated_documentation/ "new_documentation/development" | |
| - name: publish to GitHub Pages | |
| uses: JamesIves/github-pages-deploy-action@v4 | |
| with: | |
| branch: gh-pages | |
| clean: true | |
| folder: new_documentation |