map-tile-toolkit 0.1.0

Clip integer polylines into per-tile pieces on a simple tile grid
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80

name: Hotpath Comment

# Runs after "Hotpath Profile" finishes, downloads its metrics artifact, and posts (or updates) a PR
# comment with the hotpath timing + allocation diff. Split from the profiling job so it can hold a
# write token without exposing it to untrusted fork PR code.

on:
  workflow_run:
    workflows: ["Hotpath Profile"]
    types: [ completed ]

permissions:
  contents: read
  pull-requests: write

defaults:
  run:
    shell: bash

env:
  COMMENT_MARKER: '<!-- hotpath-comment -->'

jobs:
  comment:
    runs-on: ubuntu-latest
    if: ${{ github.event.workflow_run.conclusion == 'success' }}
    steps:
      - uses: actions/checkout@v7
      - uses: dtolnay/rust-toolchain@stable
      - uses: Swatinem/rust-cache@v2

      - uses: actions/download-artifact@v8
        with:
          name: hotpath-metrics
          path: /tmp/metrics/
          github-token: ${{ secrets.GITHUB_TOKEN }}
          run-id: ${{ github.event.workflow_run.id }}

      - name: Install hotpath-utils CLI
        run: cargo install hotpath --bin hotpath-utils --features=utils

      - name: Compose comment
        env:
          GH_TOKEN: ${{ github.token }}
        run: |
          set -euo pipefail
          PR_NUMBER=$(cat /tmp/metrics/pr_number.txt)
          CASE=$(cat /tmp/metrics/case.txt)
          {
            echo "<details><summary>Hotpath performance — <code>$CASE</code></summary>"
            echo
            if [ -s /tmp/metrics/base.json ]; then
              hotpath-utils profile-pr \
                --head-metrics /tmp/metrics/head.json \
                --base-metrics /tmp/metrics/base.json \
                --pr-number "$PR_NUMBER" \
                --benchmark-id "$CASE" \
                --dry-run
            else
              echo "No base profile to compare against (the base branch predates hotpath). Head-only run recorded."
            fi
            echo
            echo "</details>"
            echo
            echo "$COMMENT_MARKER"
          } > /tmp/comment.md

      - name: Post or update PR comment
        env:
          GH_TOKEN: ${{ github.token }}
          REPO: ${{ github.event.workflow_run.repository.full_name }}
        run: |
          set -euo pipefail
          PR_NUMBER=$(cat /tmp/metrics/pr_number.txt)
          EXISTING_PR=$(gh api "repos/$REPO/issues/$PR_NUMBER/comments" --paginate --jq ".[] | select(.body | contains(\"$COMMENT_MARKER\")) | .id" | head -n1)
          if [ -n "$EXISTING_PR" ]; then
            gh api -X PATCH "repos/$REPO/issues/comments/$EXISTING_PR" -F body=@/tmp/comment.md
          else
            gh api -X POST "repos/$REPO/issues/$PR_NUMBER/comments" -F body=@/tmp/comment.md
          fi