Run pre-commit

[stdlib] Simplify `Int.floordiv` and friends #2149

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request November 9, 2024 02:56

soraros

synchronize #3497

soraros:fix-int-floordiv

Status Success

Total duration 48s

Artifacts –

test_pre_commit.yml

on: pull_request