Skip to content
Run Tests

fix: filter out term sorries that come from tactic sorries #264

Sign in to view logs

fix: filter out term sorries that come from tactic sorries

fix: filter out term sorries that come from tactic sorries #264

Annotations

1 warning

test

test
succeeded Jan 15, 2025 in 2m 17s