Completed
Push — master ( 51860f...571b0d )
by
unknown
05:32 queued 05:18
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Kenza Yamlahi  
remove php7.2 from github workflow
Base
Kenza Yamlahi  
update for php >= 7.3