make dev-tools php requirement clear (#62) #334

Triggered via push July 8, 2023 05:32

Status Success

Total duration 54s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

php.yml

on: push

Matrix: code-checker

Matrix: tests

Produced during runtime

Name	Size
code-reports Expired	830 Bytes
tests-reports Expired	562 KB