F1 cars do get ties, though it's very rare and time is calculated to third decimal (0.000) only. Most recent tie is Montreal 2024 (early this June), pole and 2nd shared the same qualifying time.
@SpaceHina As far as I know, this is a pre-serialization of the official manga, which you can read here https://mangadex.org/title/25264/danshi-koukousei-wo-yashinaitai-onee-san-no-hanashi