Skip to content

Require 99 % type coverage - #8222

Merged
TomasVotruba merged 1 commit into
mainfrom
type-coverage-95
Jul 30, 2026
Merged

Require 99 % type coverage#8222
TomasVotruba merged 1 commit into
mainfrom
type-coverage-95

require 99 % type coverage

cc83ab0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar