Skip to content

Get counted sols - #1270

Merged
Joao-Dionisio merged 10 commits into
masterfrom
get-counted-sols
Oct 25, 2026
Merged

Get counted sols#1270
Joao-Dionisio merged 10 commits into
masterfrom
get-counted-sols

Get original names in getCountedSols() by stripping the t_ prefix

56d6fec
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar