Completed
Push — main ( 463582...2b13ed )
by
unknown
17s queued 16s
created

Changes

2 added classes/operations
Arrow A SearchIndex::indexExists() added
Arrow A SearchIndex::withClosedIndex() added
9.74
▼   -0.03
Head
le0m  
Merge pull request #18 from bedita/feat/handle-missing-index
5 more commits
Base
Dante Di Domenico  
Merge pull request #16 from didoda/feat/php-8.3