`$resource` parameter of `mkdir()` is nullable since PHP 7.3 #812

Sign in to view logs

Triggered via push March 9, 2024 19:07

weirdan

10796-nullable-resource-for-mkdir

Status Success

Total duration 7m 25s

Artifacts –

ci.yml

on: push

Generate Chunk Matrix

Check PHP syntax

Code Style Analysis

Matrix: tests