Skip to content

Add Range::is_empty() #788

Add Range::is_empty()

Add Range::is_empty() #788

Triggered via pull request March 11, 2024 21:03
Status Success
Total duration 1m 1s
Artifacts

ci.yml

on: pull_request
Tests pass
52s
Tests pass
No warnings from Clippy
20s
No warnings from Clippy
Source code is formatted
7s
Source code is formatted
Documentation builds successfully
16s
Documentation builds successfully
Commit messages follow project guidelines
0s
Commit messages follow project guidelines
Fit to window
Zoom out
Zoom in