Skip to content
Lint php

Fix small issues around delete/undo #1751

Sign in to view logs

Fix small issues around delete/undo

Fix small issues around delete/undo #1751

Triggered via pull request November 17, 2023 09:35
@juliushaertljuliushaertl
synchronize #5296
bugfix/noid/deleted-board-frontend
Status Success
Total duration 3m 44s
Artifacts –

lint-php.yml

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