Skip to content

Commit d4e3420

Browse files
committed
Merge branch 'main' into missing_expr
2 parents 4974c78 + d0315ff commit d4e3420

File tree

111 files changed

+3246
-2023
lines changed

Some content is hidden

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

111 files changed

+3246
-2023
lines changed

.github/workflows/take.yml

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
# Licensed to the Apache Software Foundation (ASF) under one
2+
# or more contributor license agreements. See the NOTICE file
3+
# distributed with this work for additional information
4+
# regarding copyright ownership. The ASF licenses this file
5+
# to you under the Apache License, Version 2.0 (the
6+
# "License"); you may not use this file except in compliance
7+
# with the License. You may obtain a copy of the License at
8+
#
9+
# http://www.apache.org/licenses/LICENSE-2.0
10+
#
11+
# Unless required by applicable law or agreed to in writing,
12+
# software distributed under the License is distributed on an
13+
# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
14+
# KIND, either express or implied. See the License for the
15+
# specific language governing permissions and limitations
16+
# under the License.
17+
18+
name: Assign the issue via a `take` comment
19+
on:
20+
issue_comment:
21+
types: created
22+
23+
permissions:
24+
issues: write
25+
26+
jobs:
27+
issue_assign:
28+
runs-on: ubuntu-latest
29+
if: (!github.event.issue.pull_request) && github.event.comment.body == 'take'
30+
concurrency:
31+
group: ${{ github.actor }}-issue-assign
32+
steps:
33+
- run: |
34+
CODE=$(curl -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" -LI https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}/assignees/${{ github.event.comment.user.login }} -o /dev/null -w '%{http_code}\n' -s)
35+
if [ "$CODE" -eq "204" ]
36+
then
37+
echo "Assigning issue ${{ github.event.issue.number }} to ${{ github.event.comment.user.login }}"
38+
curl -H "Authorization: token ${{ secrets.GITHUB_TOKEN }}" -d '{"assignees": ["${{ github.event.comment.user.login }}"]}' https://api.github.com/repos/${{ github.repository }}/issues/${{ github.event.issue.number }}/assignees
39+
else
40+
echo "Cannot assign issue ${{ github.event.issue.number }} to ${{ github.event.comment.user.login }}"
41+
fi

.github/workflows/test.yaml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,9 +33,11 @@ jobs:
3333
fail-fast: false
3434
matrix:
3535
python-version:
36+
- "3.9"
3637
- "3.10"
3738
- "3.11"
3839
- "3.12"
40+
- "3.13"
3941
toolchain:
4042
- "stable"
4143

@@ -71,7 +73,7 @@ jobs:
7173

7274
- name: Run Clippy
7375
if: ${{ matrix.python-version == '3.10' && matrix.toolchain == 'stable' }}
74-
run: cargo clippy --all-targets --all-features -- -D clippy::all -A clippy::redundant_closure
76+
run: cargo clippy --all-targets --all-features -- -D clippy::all -D warnings -A clippy::redundant_closure
7577

7678
- name: Install dependencies and build
7779
uses: astral-sh/setup-uv@v5

.pre-commit-config.yaml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ repos:
2222
- id: actionlint-docker
2323
- repo: https://github.com/astral-sh/ruff-pre-commit
2424
# Ruff version.
25-
rev: v0.3.0
25+
rev: v0.9.10
2626
hooks:
2727
# Run the linter.
2828
- id: ruff
@@ -40,7 +40,7 @@ repos:
4040
- id: rust-clippy
4141
name: Rust clippy
4242
description: Run cargo clippy on files included in the commit. clippy should be installed before-hand.
43-
entry: cargo clippy --all-targets --all-features -- -Dclippy::all -Aclippy::redundant_closure
43+
entry: cargo clippy --all-targets --all-features -- -Dclippy::all -D warnings -Aclippy::redundant_closure
4444
pass_filenames: false
4545
types: [file, rust]
4646
language: system

0 commit comments

Comments
 (0)