Add missing predicate-quantifier input definition to action.yml#236
Open
rhysd wants to merge 1 commit intodorny:masterfrom
Open
Add missing predicate-quantifier input definition to action.yml#236rhysd wants to merge 1 commit intodorny:masterfrom
predicate-quantifier input definition to action.yml#236rhysd wants to merge 1 commit intodorny:masterfrom