Leaderboard: Refresh TDL Challenge 2026 workflow (geometric-intelligence/topobench)

The Leaderboard: Refresh TDL Challenge 2026 workflow from geometric-intelligence/topobench, explained and optimized by Latchkey.

CI health: C - fair

Point runs-on at Latchkey and get caching, job timeouts, SHA-pinned actions, self-healing for flaky steps, and up to 58% lower cost, applied automatically.

Grade your own workflow free or run it on Latchkey →

Source: geometric-intelligence/topobench.github/workflows/update_leaderboard.ymlLicense MITView source

What it does

This is the Leaderboard: Refresh TDL Challenge 2026 workflow from the geometric-intelligence/topobench repository, a real project running GitHub Actions. It is shown here with attribution under its MIT license.

Below, Latchkey shows a faster, safer version produced by its optimization engine.

The workflow

workflow (.yml)

name: "Leaderboard: Refresh TDL Challenge 2026"

on:
  schedule:
    # Every 2 days at 06:00 UTC
    - cron: "0 6 */2 * *"
  workflow_dispatch:
  push:
    branches: [main]
    paths:
      - "docs/scripts/fetch_leaderboard_results.py"
      - ".github/workflows/update_leaderboard.yml"

permissions:
  contents: write
  pull-requests: write

concurrency:
  group: leaderboard-refresh
  cancel-in-progress: false

jobs:
  refresh:
    runs-on: ubuntu-latest
    if: github.repository == 'geometric-intelligence/topobench'
    steps:
      - uses: actions/checkout@v4

      - uses: actions/setup-python@v5
        with:
          python-version: "3.11"

      - name: Fetch results from labeled PRs
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          python docs/scripts/fetch_leaderboard_results.py

      - name: Check for leaderboard changes
        id: changes
        run: |
          set -euo pipefail
          DATA_FILE="docs/_static/leaderboard/data/leaderboard.json"
          if [ -z "$(git status --porcelain "$DATA_FILE")" ]; then
            echo "No leaderboard changes detected."
            echo "changed=false" >> "$GITHUB_OUTPUT"
          else
            echo "changed=true" >> "$GITHUB_OUTPUT"
          fi

      - name: Open / update pull request
        if: steps.changes.outputs.changed == 'true'
        uses: peter-evans/create-pull-request@v7
        with:
          token: ${{ secrets.GITHUB_TOKEN }}
          branch: bot/refresh-tdl-challenge-2026-leaderboard
          base: main
          add-paths: docs/_static/leaderboard/data/leaderboard.json
          commit-message: "docs(leaderboard): refresh TDL Challenge 2026 results"
          title: "docs(leaderboard): refresh TDL Challenge 2026 results"
          body: |
            Automated refresh of the TDL Challenge 2026 leaderboard.

            This PR was opened automatically by the `Leaderboard: Refresh TDL Challenge 2026` workflow because `main` is a protected branch and direct pushes are not allowed.
          labels: |
            leaderboard
            automated
          author: "github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>"
          committer: "github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>"
          delete-branch: true

The same workflow, on Latchkey

Estimated ~20% faster on cache hits, plus fewer wasted runs and a safer supply chain. Added and changed lines are highlighted.

name: "Leaderboard: Refresh TDL Challenge 2026"
 
on:
  schedule:
    # Every 2 days at 06:00 UTC
    - cron: "0 6 */2 * *"
  workflow_dispatch:
  push:
    branches: [main]
    paths:
      - "docs/scripts/fetch_leaderboard_results.py"
      - ".github/workflows/update_leaderboard.yml"
 
permissions:
  contents: write
  pull-requests: write
 
concurrency:
  group: leaderboard-refresh
  cancel-in-progress: false
 
jobs:
  refresh:
    timeout-minutes: 30
    runs-on: latchkey-small
    if: github.repository == 'geometric-intelligence/topobench'
    steps:
      - uses: actions/checkout@v4
 
      - uses: actions/setup-python@v5
        with:
          cache: 'pip'
          python-version: "3.11"
 
      - name: Fetch results from labeled PRs
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          python docs/scripts/fetch_leaderboard_results.py
 
      - name: Check for leaderboard changes
        id: changes
        run: |
          set -euo pipefail
          DATA_FILE="docs/_static/leaderboard/data/leaderboard.json"
          if [ -z "$(git status --porcelain "$DATA_FILE")" ]; then
            echo "No leaderboard changes detected."
            echo "changed=false" >> "$GITHUB_OUTPUT"
          else
            echo "changed=true" >> "$GITHUB_OUTPUT"
          fi
 
      - name: Open / update pull request
        if: steps.changes.outputs.changed == 'true'
        uses: peter-evans/create-pull-request@v7
        with:
          token: ${{ secrets.GITHUB_TOKEN }}
          branch: bot/refresh-tdl-challenge-2026-leaderboard
          base: main
          add-paths: docs/_static/leaderboard/data/leaderboard.json
          commit-message: "docs(leaderboard): refresh TDL Challenge 2026 results"
          title: "docs(leaderboard): refresh TDL Challenge 2026 results"
          body: |
            Automated refresh of the TDL Challenge 2026 leaderboard.
 
            This PR was opened automatically by the `Leaderboard: Refresh TDL Challenge 2026` workflow because `main` is a protected branch and direct pushes are not allowed.
          labels: |
            leaderboard
            automated
          author: "github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>"
          committer: "github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>"
          delete-branch: true

What changed

Run on Latchkey managed runners with one line (runs-on), which apply the fixes below automatically and self-heal transient failures. This example uses latchkey-small; pick the runner size that fits the job.
Cache dependency installs on the setup step so they are served from cache.
Add a job timeout so a hung step cannot burn hours of runner time.

1 third-party action is referenced by a movable tag. Pin it to the commit SHA (Latchkey resolves and applies this automatically) so a repointed tag cannot change what runs.

This workflow runs 1 job per trigger. On Latchkey the same minutes cost up to 58% less than GitHub-hosted, with zero queue time.

Actions used in this workflow

actions/checkout actions/setup-python peter-evans/create-pull-request