Skip to content
Lint php

Fix small issues around delete/undo #1750

Sign in to view logs

Fix small issues around delete/undo

Fix small issues around delete/undo #1750

Triggered via pull request November 17, 2023 09:31
@juliushaertljuliushaertl
opened #5296
bugfix/noid/deleted-board-frontend
Status Success
Total duration 2m 7s
Artifacts –

lint-php.yml

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