ci: allow manual builds (#136)

Commit

2 years ago

ci: allow manual builds (#136) This allows running a manual build on-demand (for example, when a new PHP version is released).