Skip to content
PHP Lint

Skip mongodb extension if extension is not installed #7

Sign in to view logs

Skip mongodb extension if extension is not installed

Skip mongodb extension if extension is not installed #7

Triggered via push August 2, 2023 12:51
@lyrixxlyrixx
pushed f800f77
skip-test-for-mongo
Status Success
Total duration 23s
Artifacts –

lint.yml

on: push
Matrix: Lint
Fit to window
Zoom out
Zoom in