doc: add a gantt chart for partitions #112
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
| on: | |
| push: | |
| branches: | |
| - "master" | |
| tags: | |
| - "*" | |
| pull_request: | |
| name: benchmark | |
| jobs: | |
| runBenchmark: | |
| name: run benchmark | |
| runs-on: ubuntu-latest | |
| if: "!startsWith(github.head_ref, 'dependabot/')" | |
| steps: | |
| - name: Check out base | |
| if: github.event_name == 'pull_request' | |
| uses: actions/checkout@v3 | |
| with: | |
| ssh-key: ${{secrets.API_KEY}} | |
| repo: ${{github.event.pull_request.base.repo.full_name}} | |
| ref: ${{github.event.pull_request.base.ref}} | |
| - name: Run benchmarks on base for comparison | |
| if: github.event_name == 'pull_request' | |
| run: cargo bench --features internal-bench | |
| - name: Check out head | |
| uses: actions/checkout@v3 | |
| if: github.event_name == 'pull_request' | |
| with: | |
| ssh-key: ${{secrets.API_KEY}} | |
| repo: ${{github.event.pull_request.head.repo.full_name}} | |
| ref: ${{github.event.pull_request.head.ref}} | |
| - name: Check out head | |
| uses: actions/checkout@v3 | |
| if: github.event_name == 'push' | |
| with: | |
| ssh-key: ${{secrets.API_KEY}} | |
| - name: Run benchmarks | |
| run: cargo bench --features internal-bench | |
| - name: Clone site repo | |
| uses: actions/checkout@v2 | |
| with: | |
| ssh-key: ${{secrets.API_KEY}} | |
| path: ..site-repo | |
| ref: gh-pages | |
| - name: Delete previous output | |
| run: test ! -d bench-report/${{github.ref_type}}/${{github.ref_name}} || rm -r bench-report/${{github.ref_type}}/${{github.ref_name}} | |
| working-directory: ..site-repo | |
| - name: Copy artifact to site repo | |
| run: mkdir -p ..site-repo/bench-report/${{github.ref_type}}/${{github.ref_name}}; cp -rT target/criterion ..site-repo/bench-report/${{github.ref_type}}/${{github.ref_name}} | |
| - name: Set Git author | |
| run: git config --global user.name "github-actions[bot]" && git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| - name: Git commit | |
| run: git add bench-report/${{github.ref_type}}/${{github.ref_name}} && git commit --allow-empty -m "Docs build for SOF3/dynec@${{github.sha}}" | |
| working-directory: ..site-repo | |
| - name: Push pages | |
| run: git push --force | |
| working-directory: ..site-repo |