Skip to content

chore: adapt signature of `successIfFailWithMessage`

275a852
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

chore: adapt to lean4#10526 #74

chore: adapt signature of `successIfFailWithMessage`
275a852
Select commit
Loading
Failed to load commit list.