Skip to content
Lint

gh-155300: speed up float repr() / str() with new Żmij algorithm #128324

Sign in to view logs

gh-155300: speed up float repr() / str() with new Żmij algorithm

gh-155300: speed up float repr() / str() with new Żmij algorithm #128324

Workflow file for this run

.github/workflows/lint.yml at 5105cdc
name: Lint
on: [push, pull_request, workflow_dispatch]
permissions:
contents: read
env:
FORCE_COLOR: 1
RUFF_OUTPUT_FORMAT: github
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
lint:
runs-on: ubuntu-latest
timeout-minutes: 10
steps:
- uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
with:
persist-credentials: false
- uses: j178/prek-action@bdca6f102f98e2b4c7029491a53dfd366469e33d # v2.0.4