language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: fix warnings

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-06-14 13:04:29 +09:00
parent f489df2630
commit 5cf3acbf16
4 changed files with 37 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/erg_common/traits.rs
View file

@ -725,6 +725,7 @@ pub trait Runnable: Sized + Default + New {
self.cfg_mut().input = input;
}
fn start_message(&self) -> String {
#[allow(clippy::const_is_empty)]
if GIT_HASH_SHORT.is_empty() {
format!("{} {SEMVER} ({BUILD_DATE}) on {ARCH}/{OS}\n", Self::NAME)
} else {