Skip to content
PHPlint

fix: bump up delay for WebGUIRestartDispatcher to 5 seconds #614

Sign in to view logs

fix: bump up delay for WebGUIRestartDispatcher to 5 seconds

fix: bump up delay for WebGUIRestartDispatcher to 5 seconds #614

Triggered via push November 23, 2023 00:14
@jaredhendrickson13jaredhendrickson13
pushed 44545c7
next_major
Status Success
Total duration 23s
Artifacts –

phplint.yml

on: push
lint
15s
lint
Fit to window
Zoom out
Zoom in