Skip to content

Pin GitHub Actions, update Linux workflow, and fix PHP 7.1 ZTS crash#89

Merged
kjdev merged 4 commits into
masterfrom
ci
Jun 4, 2026
Merged

Pin GitHub Actions, update Linux workflow, and fix PHP 7.1 ZTS crash#89
kjdev merged 4 commits into
masterfrom
ci

Commits

Commits on Jun 3, 2026

Commits on Jun 4, 2026