Skip to content
Lint

Improves the review ignored people button introduced in #747 #258

Sign in to view logs

Improves the review ignored people button introduced in #747

Improves the review ignored people button introduced in #747 #258

Triggered via push May 17, 2024 14:46
@matiasdelellismatiasdelellis
pushed 8e3b381
master
Status Success
Total duration 4m 49s
Artifacts –

lint.yml

on: push
xml-linters
15s
xml-linters
Matrix: php-linters
Fit to window
Zoom out
Zoom in