[Gravity] Set minimum required PHP version to 8.1

Review Request #1019 — Created July 26, 2023 and submitted — Latest diff uploaded

pprkut
Lunr.Gravity
38d3044...
lunr

Set minimum required PHP version to 8.1

GitHub actions run: https://github.com/pprkut/lunr.gravity/actions/runs/5670164558

Loading...