Skip to content

fix: replace default-allow cast unwrap with closed-by-default allowlist - #6

Open
discord9 wants to merge 22 commits into
GreptimeTeam:mainfrom
discord9:fix/lossy-unwrap-cast-comparisons-gt
Open

fix: replace default-allow cast unwrap with closed-by-default allowlist#6
discord9 wants to merge 22 commits into
GreptimeTeam:mainfrom
discord9:fix/lossy-unwrap-cast-comparisons-gt

docs: update stale

8ab0594
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs