ellmau
/
adf-obdd
/
13840932119
/
1
88%
main: 88%
main: 88%
|
Ran
|
Files
11
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
coverage: 88.269% (+0.3%) from 87.963%
push
github
ellmauUpdate versions and fix formatting and clippy issues flake.lock: Update Flake lock file updates: • Updated input 'flake-utils': 'github:gytis-ivaskevicius/flake-utils-plus/bfc53579d?narHash=sha256-YkbRa/1wQWdWkVJ01JvV%2B75KIdM37UErqKgTf0L54Fk%3D' (2023-10-03) → 'github:gytis-ivaskevicius/flake-utils-plus/afcb15b84?narHash=sha256-4WNeriUToshQ/L5J%2BdTSWC5OJIwT39SEP7V7oylndi8%3D' (2025-02-03) • Updated input 'rust-overlay': 'github:oxalica/rust-overlay/2037779e0?narHash=sha256-5bD6iSPDgVTLly2gy2oJVwzuyuFZOz2p4qt8c8UoYIE%3D' (2024-01-08) → 'github:oxalica/rust-overlay/f3cd1e0fe?narHash=sha256-HUtFcF4NLwvu7CAowWgqCHXVkNj0EOc/W6Ism4biV6I%3D' (2025-03-13) • Removed input 'rust-overlay/flake-utils' Signed-off-by: Stefan Ellmauthaler <ellmauthaler@echo-intelligence.at>
1234 of 1398 relevant lines covered (88.27%)
1.74 hits per line
