Specify output_signal_size in map to avoid unnecessary calculation
#37
Workflow file for this run
This file contains hidden or 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: Docs build | |
| on: | |
| pull_request: | |
| types: [opened, closed, synchronize] | |
| push: | |
| workflow_dispatch: | |
| jobs: | |
| Build: | |
| uses: hyperspy/.github/.github/workflows/doc.yml@main | |
| with: | |
| pip_extra_doc: 'all,doc' | |
| install_package_ubuntu: graphviz optipng | |
| check_links: true | |
| doctest: false | |
| SPHINXOPTS: '--jobs 4' # use parallel build to speed up builds | |
| ORGANISATION: 'pyxem' | |
| CACHE_GALLERY_EXAMPLES: './doc/examples' # cache sphinx-gallery examples for faster builds | |
| CACHE_POOCH: 'pyxem' # cache pooch downloads for pyxem data | |
| Push-dev: | |
| needs: [Build] | |
| if: github.event_name != 'pull_request' && github.ref_name == 'main' | |
| permissions: | |
| # needs write permission to push the docs to gh-pages | |
| contents: write | |
| uses: hyperspy/.github/.github/workflows/push_doc.yml@main | |
| with: | |
| output_path: dev | |
| Push-tag: | |
| needs: [Build] | |
| if: github.event_name != 'pull_request' && github.ref_type == 'tag' | |
| permissions: | |
| # needs write permission to push the docs to gh-pages | |
| contents: write | |
| uses: hyperspy/.github/.github/workflows/push_doc.yml@main | |
| with: | |
| output_path: ${{ github.ref_name }} | |
| # Add a redirect index.html in the root folder pointing to the tag version | |
| redirect_to_version: ${{ github.ref_name }} | |
| Upload-PR_preview: | |
| if: github.event_name == 'pull_request' | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Write deploy info to file | |
| run: | | |
| mkdir -p deploy_info | |
| cat <<EOF > deploy_info/info.json | |
| { | |
| "workflow_run_id": "${{ github.run_id }}", | |
| "pr_number": "${{ github.event.pull_request.number }}", | |
| "pull_request_action": "${{ github.event.action }}" | |
| } | |
| EOF | |
| - name: Upload deploy info artifact # For the follow up deploy job | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: deploy-info | |
| path: deploy_info/info.json |