Skip to content

feat: rename DefaultOs to Linux #277

feat: rename DefaultOs to Linux

feat: rename DefaultOs to Linux #277

Triggered via pull request August 1, 2023 19:16
@kesselbkesselb
synchronize #488
default-os
Status Success
Total duration 46s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint-php.yml

on: pull_request
Matrix: php-lint
php-lint-summary
2s
php-lint-summary
Fit to window
Zoom out
Zoom in