Skip to content

Support accumulating repeatable flags - #92

Open
mirryi wants to merge 1 commit into
leanprover:mainfrom
mirryi:main
Open

Support accumulating repeatable flags#92
mirryi wants to merge 1 commit into
leanprover:mainfrom
mirryi:main

feat: support repeatable (accumulating) flags

cfe4fbb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs