Check PR title

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

Sign in to view logs

Triggered via pull request November 9, 2024 02:58

soraros

synchronize #3497

soraros:fix-int-floordiv

Status Success

Total duration 11s

Artifacts –

check_pr_title.yml

on: pull_request

Check PR title format