Skip to content

Commit 4e12f04

Browse files
authored
Merge branch 'main' into jit-tracer-fitness
2 parents 88a91dc + a95ee3a commit 4e12f04

File tree

77 files changed

+1894
-287
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

77 files changed

+1894
-287
lines changed

.github/actionlint.yaml

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,3 @@
1-
self-hosted-runner:
2-
# Pending release of actionlint > 1.7.11 for macos-26-intel support
3-
# https://github.com/rhysd/actionlint/pull/629
4-
labels: ["macos-26-intel"]
5-
61
config-variables: null
72

83
paths:

.github/workflows/add-issue-header.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ on:
1212
# Only ever run once
1313
- opened
1414

15+
permissions: {}
1516

1617
jobs:
1718
add-header:

.github/workflows/build.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,8 +11,7 @@ on:
1111
- 'main'
1212
- '3.*'
1313

14-
permissions:
15-
contents: read
14+
permissions: {}
1615

1716
concurrency:
1817
# https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#concurrency

.github/workflows/jit.yml

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,7 @@ on:
1515
paths: *paths
1616
workflow_dispatch:
1717

18-
permissions:
19-
contents: read
18+
permissions: {}
2019

2120
concurrency:
2221
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
@@ -99,9 +98,9 @@ jobs:
9998
- false
10099
include:
101100
- target: x86_64-apple-darwin/clang
102-
runner: macos-26-intel
101+
runner: macos-15-intel
103102
- target: aarch64-apple-darwin/clang
104-
runner: macos-26
103+
runner: macos-15
105104
steps:
106105
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
107106
with:

.github/workflows/lint.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,7 @@ name: Lint
22

33
on: [push, pull_request, workflow_dispatch]
44

5-
permissions:
6-
contents: read
5+
permissions: {}
76

87
env:
98
FORCE_COLOR: 1

.github/workflows/mypy.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,8 +33,7 @@ on:
3333
- "Tools/requirements-dev.txt"
3434
workflow_dispatch:
3535

36-
permissions:
37-
contents: read
36+
permissions: {}
3837

3938
env:
4039
PIP_DISABLE_PIP_VERSION_CHECK: 1

.github/workflows/new-bugs-announce-notifier.yml

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,13 @@ on:
55
types:
66
- opened
77

8-
permissions:
9-
issues: read
8+
permissions: {}
109

1110
jobs:
1211
notify-new-bugs-announce:
1312
runs-on: ubuntu-latest
13+
permissions:
14+
issues: read
1415
timeout-minutes: 10
1516
steps:
1617
- uses: actions/setup-node@53b83947a5a98c8d113130e565377fae1a50d02f # v6.3.0

.github/workflows/require-pr-label.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,8 @@ on:
44
pull_request:
55
types: [opened, reopened, labeled, unlabeled, synchronize]
66

7+
permissions: {}
8+
79
jobs:
810
label-dnm:
911
name: DO-NOT-MERGE

.github/workflows/reusable-check-c-api-docs.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,7 @@ name: Reusable C API Docs Check
33
on:
44
workflow_call:
55

6-
permissions:
7-
contents: read
6+
permissions: {}
87

98
env:
109
FORCE_COLOR: 1

.github/workflows/reusable-check-html-ids.yml

Lines changed: 28 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,7 @@ name: Reusable check HTML IDs
33
on:
44
workflow_call:
55

6-
permissions:
7-
contents: read
6+
permissions: {}
87

98
env:
109
FORCE_COLOR: 1
@@ -15,36 +14,45 @@ jobs:
1514
runs-on: ubuntu-latest
1615
timeout-minutes: 30
1716
steps:
18-
- name: 'Check out base commit'
17+
- name: 'Check out PR head'
1918
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
2019
with:
2120
persist-credentials: false
22-
ref: ${{ github.event.pull_request.base.sha }}
21+
ref: ${{ github.event.pull_request.head.sha }}
22+
- name: 'Find merge base'
23+
id: merge-base
24+
run: |
25+
BASE="${{ github.event.pull_request.base.sha }}"
26+
HEAD="${{ github.event.pull_request.head.sha }}"
27+
git fetch --depth=$((${{ github.event.pull_request.commits }} + 10)) --no-tags origin "$BASE" "$HEAD"
28+
29+
if ! MERGE_BASE=$(git merge-base "$BASE" "$HEAD" 2>/dev/null); then
30+
git fetch --deepen=1 --no-tags origin "$BASE" "$HEAD"
31+
32+
OLDEST=$(git rev-list --reflog --max-parents=0 --reverse "${BASE}^" "${HEAD}^" | head -1)
33+
TIMESTAMP=$(git show --format=%at --no-patch "$OLDEST")
34+
35+
git fetch --shallow-since="$TIMESTAMP" --no-tags origin "$BASE" "$HEAD"
36+
37+
MERGE_BASE=$(git merge-base "$BASE" "$HEAD")
38+
fi
39+
echo "sha=$MERGE_BASE" >> "$GITHUB_OUTPUT"
40+
- name: 'Create worktree at merge base'
41+
env:
42+
MERGE_BASE: ${{ steps.merge-base.outputs.sha }}
43+
run: git worktree add /tmp/merge-base "$MERGE_BASE" --detach
2344
- name: 'Set up Python'
2445
uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
2546
with:
2647
python-version: '3'
2748
cache: 'pip'
2849
cache-dependency-path: 'Doc/requirements.txt'
2950
- name: 'Install build dependencies'
30-
run: make -C Doc/ venv
51+
run: make -C /tmp/merge-base/Doc/ venv
3152
- name: 'Build HTML documentation'
32-
run: make -C Doc/ SPHINXOPTS="--quiet" html
33-
- name: 'Check out PR head tools'
34-
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
35-
with:
36-
persist-credentials: false
37-
sparse-checkout: |
38-
Doc/tools/check-html-ids.py
39-
Doc/tools/removed-ids.txt
40-
sparse-checkout-cone-mode: false
41-
path: pr-head
42-
- name: 'Use PR head tools'
43-
run: |
44-
cp pr-head/Doc/tools/check-html-ids.py Doc/tools/check-html-ids.py
45-
[ -f pr-head/Doc/tools/removed-ids.txt ] && cp pr-head/Doc/tools/removed-ids.txt Doc/tools/removed-ids.txt
53+
run: make -C /tmp/merge-base/Doc/ SPHINXOPTS="--quiet" html
4654
- name: 'Collect HTML IDs'
47-
run: python Doc/tools/check-html-ids.py collect Doc/build/html -o /tmp/html-ids-base.json.gz
55+
run: python Doc/tools/check-html-ids.py collect /tmp/merge-base/Doc/build/html -o /tmp/html-ids-base.json.gz
4856
- name: 'Download PR head HTML IDs'
4957
uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c # v8.0.1
5058
with:

0 commit comments

Comments
 (0)