Skip to content

Add Range::is_empty() #789

Add Range::is_empty()

Add Range::is_empty() #789

Triggered via pull request March 11, 2024 21:05
Status Success
Total duration 56s
Artifacts

ci.yml

on: pull_request
Tests pass
47s
Tests pass
No warnings from Clippy
8s
No warnings from Clippy
Source code is formatted
12s
Source code is formatted
Documentation builds successfully
14s
Documentation builds successfully
Commit messages follow project guidelines
0s
Commit messages follow project guidelines
Fit to window
Zoom out
Zoom in