Skip to content
Run pre-commit and in-place update PR on push

[Merged by Bors] - feat: norm_num support for Int.fract #7057

Sign in to view logs

[Merged by Bors] - feat: norm_num support for Int.fract

[Merged by Bors] - feat: norm_num support for Int.fract #7057

Triggered via pull request October 20, 2025 21:07
@Ruben-VandeVeldeRuben-VandeVelde
synchronize #26428
Ruben-VandeVelde:norm_num-int-fract
Status Success
Total duration 29s
Artifacts –

pre-commit.yml

on: pull_request
main
25s
main
Fit to window
Zoom out
Zoom in