Skip to content

Commit 39429a6

Browse files
coreycbcoreycb
committed
Merge remote-tracking branch 'origin/main' into beta
2 parents 0137dc8 + 4a823eb commit 39429a6

402 files changed

Lines changed: 9690 additions & 3895 deletions

File tree

Some content is hidden

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

‎.editorconfig‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@ max_line_length = 120
1515
ij_kotlin_imports_layout = *,^
1616
ij_kotlin_allow_trailing_comma = true
1717
ij_kotlin_allow_trailing_comma_on_call_site = true
18+
ij_kotlin_indent_before_arrow_on_new_line = false
1819

1920
[*.{yml,yaml,json,toml}]
2021
indent_size = 2
@@ -23,3 +24,6 @@ ij_continuation_indent_size = 2
2324

2425
[*.md]
2526
trim_trailing_whitespace = false
27+
28+
[*.sh]
29+
indent_size = 2

‎.github/dependabot.yml‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,8 @@ updates:
1313
- "type: dependency"
1414
- "type: github actions"
1515
- "report: exclude"
16+
cooldown:
17+
default-days: 7
1618
commit-message:
1719
prefix: chore
1820
include: scope
@@ -24,6 +26,8 @@ updates:
2426
labels:
2527
- "type: dependency"
2628
- "type: gradle"
29+
cooldown:
30+
default-days: 7
2731
commit-message:
2832
prefix: chore
2933
include: scope
@@ -36,6 +40,8 @@ updates:
3640
labels:
3741
- "type: dependency"
3842
- "type: pip"
43+
cooldown:
44+
default-days: 7
3945
commit-message:
4046
prefix: chore
4147
include: scope

‎.github/workflows/build-docs.yml‎

Lines changed: 24 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -24,11 +24,11 @@ jobs:
2424
environment: botmobile
2525
steps:
2626
- name: App token generate
27-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
27+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
2828
if: ${{ vars.BOT_CLIENT_ID }}
2929
id: app-token
3030
with:
31-
app-id: ${{ vars.BOT_CLIENT_ID }}
31+
client-id: ${{ vars.BOT_CLIENT_ID }}
3232
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
3333

3434
- name: Checkout
@@ -37,26 +37,27 @@ jobs:
3737
token: ${{ steps.app-token.outputs.token || github.token }}
3838

3939
- name: Cargo cache
40-
uses: actions-rust-lang/setup-rust-toolchain@150fca883cd4034361b621bd4e6a9d34e5143606 # v1.15.4
40+
uses: actions-rust-lang/setup-rust-toolchain@46268bd060767258de96ed93c1251119784f2ab6 # v1.16.1
4141

4242
- name: Install mdbook and extensions
4343
run: ./docs/install.sh
4444

45-
- name: Build docs
46-
run: mdbook build docs --dest-dir=./../book/docs/latest
47-
4845
- name: Test docs
4946
run: mdbook test docs
5047

51-
- name: Clean docs
48+
- name: Build docs
5249
run: |
53-
rm -rf book/docs/latest/html/assets/draw.io
54-
rm -f book/docs/latest/html/.gitignore
55-
rm -f book/docs/latest/html/install.sh
56-
57-
# Restore mermaid.min.js, it has already been copied over to book/docs/latest
58-
git restore .
59-
50+
BUILD_DIR=$(mktemp -d)
51+
echo "BUILD_DIR=${BUILD_DIR}" >> $GITHUB_ENV
52+
echo "Building docs into ${BUILD_DIR}"
53+
mdbook build docs --dest-dir="${BUILD_DIR}"
54+
echo "Build output preview:"
55+
ls -la "${BUILD_DIR}" || true
56+
57+
# Clean up unwanted files from the build directory before copying to gh-pages
58+
rm -rf "${BUILD_DIR}/assets/draw.io" || true
59+
rm -f "${BUILD_DIR}/.gitignore" || true
60+
rm -f "${BUILD_DIR}/install.sh" || true
6061
6162
- name: Deploy docs to gh-pages
6263
env:
@@ -78,10 +79,16 @@ jobs:
7879
find docs/latest -mindepth 1 -delete # Delete old files inside docs/latest
7980
8081
# Copy new docs to gh-pages branch
81-
cp -r book/docs/latest/* docs/latest/
82+
if [ ! -d "${BUILD_DIR}" ]; then
83+
echo "ERROR: BUILD_DIR '${BUILD_DIR}' does not exist. The docs build may have failed."
84+
exit 1
85+
fi
86+
87+
echo "Copy docs from ${BUILD_DIR} to docs/latest/"
88+
cp -a "${BUILD_DIR}/." docs/latest/ || { echo "ERROR: No files to copy from ${BUILD_DIR}"; exit 1; }
8289
83-
# Remove
84-
rm -rf book
90+
# Remove temporary build directory
91+
rm -rf "${BUILD_DIR}" || true
8592
8693
# Add, commit, and push changes
8794
git add .

‎.github/workflows/issue-needinfo-answered.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,11 +22,11 @@ jobs:
2222
pull-requests: write
2323
steps:
2424
- name: App token generate
25-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
25+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
2626
if: ${{ vars.BOT_CLIENT_ID }}
2727
id: app-token
2828
with:
29-
app-id: ${{ vars.BOT_CLIENT_ID }}
29+
client-id: ${{ vars.BOT_CLIENT_ID }}
3030
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
3131

3232
- name: Remove answered label if both exist

‎.github/workflows/issue-needinfo-remove.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -25,11 +25,11 @@ jobs:
2525
pull-requests: write
2626
steps:
2727
- name: App token generate
28-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
28+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
2929
if: ${{ vars.BOT_CLIENT_ID }}
3030
id: app-token
3131
with:
32-
app-id: ${{ vars.BOT_CLIENT_ID }}
32+
client-id: ${{ vars.BOT_CLIENT_ID }}
3333
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
3434

3535
- name: Remove needinfo label and add answered label

‎.github/workflows/issue-needinfo-stale.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,11 +20,11 @@ jobs:
2020
pull-requests: write
2121
steps:
2222
- name: App token generate
23-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
23+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
2424
if: ${{ vars.BOT_CLIENT_ID }}
2525
id: app-token
2626
with:
27-
app-id: ${{ vars.BOT_CLIENT_ID }}
27+
client-id: ${{ vars.BOT_CLIENT_ID }}
2828
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
2929

3030
- name: Close old issues with the needinfo tag

‎.github/workflows/pr-auto-assign-reviewer.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,11 @@ jobs:
1818
environment: botmobile
1919
steps:
2020
- name: App token generate
21-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
21+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
2222
if: ${{ vars.BOT_CLIENT_ID }}
2323
id: app-token
2424
with:
25-
app-id: ${{ vars.BOT_CLIENT_ID }}
25+
client-id: ${{ vars.BOT_CLIENT_ID }}
2626
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
2727

2828
- name: Assign reviewer to PR

‎.github/workflows/pr-dependabot-dependency-guard-update.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,11 +32,11 @@ jobs:
3232
timeout-minutes: 90
3333
steps:
3434
- name: App Token Generate
35-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
35+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
3636
if: ${{ vars.BOT_CLIENT_ID }}
3737
id: app-token
3838
with:
39-
app-id: ${{ vars.BOT_CLIENT_ID }}
39+
client-id: ${{ vars.BOT_CLIENT_ID }}
4040
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
4141

4242
- name: Checkout the repo

‎.github/workflows/pr-label-tb-team.yml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,11 +18,11 @@ jobs:
1818
environment: review
1919
steps:
2020
- name: App token generate
21-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
21+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
2222
if: ${{ vars.BOT_CLIENT_ID }}
2323
id: app-token
2424
with:
25-
app-id: ${{ vars.BOT_CLIENT_ID }}
25+
client-id: ${{ vars.BOT_CLIENT_ID }}
2626
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
2727

2828
- name: Label tb-team for OWNER

‎.github/workflows/pr-merged.yml‎

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -19,11 +19,11 @@ jobs:
1919
environment: botmobile
2020
steps:
2121
- name: App token generate
22-
uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0
22+
uses: actions/create-github-app-token@bcd2ba49218906704ab6c1aa796996da409d3eb1 # v3.2.0
2323
if: ${{ vars.BOT_CLIENT_ID }}
2424
id: app-token
2525
with:
26-
app-id: ${{ vars.BOT_CLIENT_ID }}
26+
client-id: ${{ vars.BOT_CLIENT_ID }}
2727
private-key: ${{ secrets.BOT_PRIVATE_KEY }}
2828

2929
- name: Get active milestone
@@ -40,10 +40,16 @@ jobs:
4040
release) milestone_index=2 ;;
4141
esac
4242
echo "$milestone_index"
43-
gh api repos/$GITHUB_REPOSITORY/milestones --jq "
43+
MILESTONES=$(gh api repos/$GITHUB_REPOSITORY/milestones --jq "
4444
map(select(.state == \"open\" and .due_on != null))
45-
| sort_by(.due_on) | reverse
46-
| .[${milestone_index}] | { number, title }
45+
| sort_by(.due_on) | reverse")
46+
MILESTONE_COUNT=$(echo "$MILESTONES" | jq "length")
47+
if [ "$MILESTONE_COUNT" -ne 3 ]; then
48+
echo "Expected exactly 3 open milestones with due dates, but found $MILESTONE_COUNT."
49+
exit 1
50+
fi
51+
echo "$MILESTONES" | jq -r "
52+
.[${milestone_index}] | { number, title }
4753
| to_entries
4854
| map(.key + \"=\" + (.value|tostring)) | join(\"\n\")" | tee -a $GITHUB_OUTPUT
4955

0 commit comments

Comments
 (0)