php / doc-base

Tools for the PHP documentation
Other
343 stars 85 forks source link

Use available php for GH CI #82

Closed cmb69 closed 1 year ago

cmb69 commented 1 year ago

Hard-coding a certain php version doesn't make sense if we use ubuntu- latest. Either we use the default php (as with this patch), or we commit to a certain Ubuntu version.


cc @mumumu, @localheinz

cmb69 commented 1 year ago

Thank you for review!