Skip to content
Typos

Rename random integer to random int #3826

Sign in to view logs

Rename random integer to random int

Rename random integer to random int #3826

Triggered via pull request September 27, 2023 19:13
@sholderbachsholderbach
opened #10520
sholderbach:random-integration
Status Success
Total duration 17s
Artifacts –

typos.yml

on: pull_request
Spell Check with Typos
6s
Spell Check with Typos
Fit to window
Zoom out
Zoom in