bench-upload.yml

# This file is manually managed. It is used to upload benchmarks to to the
# https://github.com/enso-org/engine-benchmark-results repository.

name: Benchmarks upload
on:
  pull_request:
    branches: ["*"]
  schedule:
    - cron: 0 0 * * *
  workflow_dispatch:
    inputs:
      just-check:
        description: If set, no results will be uploaded.
        required: true
        type: boolean
        default: false
jobs:
  upload-benchmarks:
    name: Upload benchmarks
    runs-on: ubuntu-latest
    steps:
      - name: Checkout enso repository
        uses: actions/checkout@v4
        with:
          repository: enso-org/enso
          path: enso
      - name: Checkout engine-benchmark-results repository
        uses: actions/checkout@v4
        with:
          repository: enso-org/engine-benchmark-results
          path: engine-benchmark-results
      - name: Install dependencies
        run: |
          sudo apt-get update
          sudo apt-get install -y \
            python3 \
            python3-jinja2 \
            python3-numpy \
            python3-pandas
          sudo apt-get install -y gh
      - name: Set up git
        run: |
          git config --global user.email "pavel.marek@enso.org"
          git config --global user.name "enso-bench-bot"
      - name: Upload benchmarks (dry-run)
        if: ${{ github.event.inputs.just-check }}
        run: |
          cd enso/tools/performance/engine-benchmarks
          python3 website_regen.py \
            -v \
           --dry-run \
            --local-repo  ${{ github.workspace }}/engine-benchmark-results
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
      - name: Upload benchmarks
        run: |
          cd enso/tools/performance/engine-benchmarks
          python3 website_regen.py \
            -v \
            --local-repo  ${{ github.workspace }}/engine-benchmark-results
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}