Skip to content
Back to pull request #108

Update PHP to 8.1, plus some enhancements #84

Sign in to view logs

Update PHP to 8.1, plus some enhancements

Update PHP to 8.1, plus some enhancements #84

Triggered via pull request October 11, 2023 00:06
@GuySartorelliGuySartorelli
synchronize #108
creative-commoners:pulls/master/php-81
Status Success
Total duration 2m 15s
Artifacts 3

ci.yml

on: pull_request
CI  /  Generate matrix
19s
CI / Generate matrix
CI  /  Context
4s
CI / Context
Matrix: CI / tests
CI  /  Check governance
2s
CI / Check governance
CI  /  Check unreleased changes
0s
CI / Check unreleased changes
CI  /  Patch release
0s
CI / Patch release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
8.1 mysql57pdo phpunit all Expired
129 KB
8.1 mysql80 phpunit all Expired
129 KB
8.1 prf-low mysql57 phpunit all Expired
130 KB