Lint php

fix dropdowns have wrong mark color in browsers #858

Sign in to view logs

Re-run triggered October 20, 2023 11:43

juliusknorr

#3238

Darshan-upadhyay1110:private/darshan/missing-cool-theme-element

Status Success

Total duration 24m 29s

Artifacts –

lint-php.yml

on: pull_request

Matrix: php-lint

php-lint-summary