Add submitted pings table #865
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: bench | |
| on: | |
| pull_request: | |
| push: | |
| branches: | |
| main | |
| jobs: | |
| bench: | |
| name: Benchmarks | |
| environment: | |
| name: ${{ github.ref_name == 'main' && 'production' || 'pull_request' }} | |
| deployment: false | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | |
| with: | |
| persist-credentials: false | |
| - uses: dtolnay/rust-toolchain@a75363d06101555fc97c6c7e1e65670b99104d98 # 1.96 | |
| with: | |
| toolchain: stable | |
| - uses: Swatinem/rust-cache@f0d9c3887740aee45f6153b24b3a6b815192ec16 # v2 | |
| - name: Set up dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y valgrind gdb libc6-dbg # Needed for gungraun | |
| - name: Install gungraun-runner | |
| run: | | |
| cargo install gungraun-runner --version 0.17.0 | |
| - name: Benchmark (machine-readable) | |
| if: ${{ github.event_name == 'push' && github.ref_name == 'main' }} | |
| run: | | |
| set -x | |
| cargo benchmark --bench instruction-count --features gungraun -- --output-format=json > gungraun-output.json | |
| cat gungraun-output.json | |
| - name: Benchmark | |
| if: ${{ github.event_name == 'pull_request' }} | |
| run: | | |
| set -x | |
| cargo benchmark --bench instruction-count --features gungraun | |
| - uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a # v7.0.1 | |
| if: ${{ github.event_name == 'push' && github.ref_name == 'main' }} | |
| with: | |
| name: gungraun-output | |
| path: gungraun-output.json | |
| - name: Prepare devhub | |
| if: ${{ github.event_name == 'push' && github.ref_name == 'main' }} | |
| run: | | |
| cargo install tokei --version 14.0.0 | |
| cargo install ripgrep --version 15.1.0 | |
| wget https://github.com/jqlang/jq/releases/download/jq-1.8.1/jq-linux-amd64 -O jq | |
| echo "020468de7539ce70ef1bceaf7cde2e8c4f2ca6c3afb84642aabc5c97d9fc2a0d jq" | sha256sum -c | |
| mv jq $HOME/.cargo/bin/jq | |
| chmod +x $HOME/.cargo/bin/jq | |
| - name: Show dependencies | |
| if: ${{ github.event_name == 'push' && github.ref_name == 'main' }} | |
| run: | | |
| set -x | |
| rustc -vV | |
| cargo -vV | |
| valgrind --version | |
| tokei --version | |
| rg --version | |
| jq --version | |
| - name: Run devhub | |
| if: ${{ github.event_name == 'push' && github.ref_name == 'main' }} | |
| run: | | |
| echo "commit sha ${GITHUB_SHA}" | |
| cargo devhub run | |
| cat data.json | |
| - name: Commit new devhub data | |
| if: ${{ github.event_name == 'push' && github.ref_name == 'main' }} | |
| env: | |
| DEVHUBDB_TOKEN: ${{ secrets.DEVHUBDB_TOKEN }} | |
| run: | | |
| git config --global user.name "Devhub Bot" | |
| git config --global user.email devhub-bot@mozilla.com | |
| cargo devhub commit data.json |