Skip to content
main

Make DocumentSyncListener more efficient if no server is running (#2532) #4947

Sign in to view logs

Make DocumentSyncListener more efficient if no server is running (#2532)

Make DocumentSyncListener more efficient if no server is running (#2532) #4947

Triggered via push October 20, 2024 19:32
@rchlrchl
pushed e29883a
main
Status Success
Total duration 1m 45s
Artifacts –

main.yml

on: push
Lint
32s
Lint
Matrix: Unittesting
Fit to window
Zoom out
Zoom in